首页> 美国政府科技报告 >Xlsabelle: A Graphical User Interface to the Isabelle Theorem Prover

【24h】

Xlsabelle: A Graphical User Interface to the Isabelle Theorem Prover

机译：Xlsabelle：Isabelle定理证明器的图形用户界面

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Interactive theorem provers such as Isabelle are powerful tools, but aredifficult and time-consuming to learn. If a suitable Graphical User Interface (GUI) is provided for such a tool, it can speed up the learning process considerably, leading to greater productivity for users of the tool, and increased takeup in industry. In this paper, we discuss the user-interface aspects of Isabelle, and formulate requirements for a GUI. XIsabelle, a GUI for XIsabelle, is described in detail. XIsabelle uses standard, easily available, methods for providing X Windows wrappers to interactive non-GUI programs, namely Tcl/Tk and the program Expect.

著录项

作者
Cant, A.; Ozols, M. A.;
展开▼
作者单位

展开▼
年度 1995
页码
总页数 57
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer graphics; Man computer interface; Computer program verification; Databases; Computer program documentation; Software engineering; Systems engineering; Data management; Computer aided design; Reasoning; Computer logic; Programming languages; Mathe;

机译：计算机图形学;人机界面;计算机程序验证;数据库;计算机程序文档;软件工程;系统工程;数据管理;计算机辅助设计;推理;计算机逻辑;编程语言; mathe;

相似文献

外文文献
中文文献
专利

1. Functional design and implementation of graphical user interfaces for theorem provers [J] . C. LUTH Journal of Functional Programming . 1999,第期

机译：定理证明者的图形用户界面的功能设计和实现
2. Integrating Dynamic Systems materials into a Mechanical Engineering curriculum through innovative use of Web-based acquisition and hands-on application and use of virtual Graphical User Interfaces - Part 5: Graphical User Interfaces (GUIs) Assist in [J] . Avitabile P Experimental Techniques . 2008,第3期

机译：通过基于Web的获取和动手应用的创新使用以及虚拟图形用户界面的使用，将Dynamic Systems材料集成到机械工程课程中-第5部分：图形用户界面（GUI）辅助
3. Determination of Real-Time Polymerase Chain Reaction Uncertainty of Measurement Using Replicate Analysis and a Graphical User Interface with Fieller’s Theorem [J] . James Ian Stuart Johan Delport Robert Lannigan, George Zahariadis Canadian Journal of Infectious Diseases and Medical Microbiology: Journal Canadien des Maladies Infectieuses . 2014,第6期

机译：使用重复分析和带有Fieller定理的图形用户界面确定实时聚合酶链反应的测量不确定度
4. EFFICIENT VERIFICATION OF RECONFIGURABLE DISCRETE-EVENT SYSTEM USING ISABELLE/HOL THEOREM PROVER [C] . Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui, Annual European Simulation and Modelling Conference . 2020

机译：使用Isabelle / HOL定理箴言有效验证可重新配置的离散事件系统
5. Evaluation of the interaction between users of screen reading technology and graphical user interface elements. [D] . Barnicle, Katherine Ann. 1999

机译：评估屏幕阅读技术的用户与图形用户界面元素之间的交互。
6. Determination of real-time polymerase chain reaction uncertainty of measurement using replicate analysis and a graphical user interface with Fieller’s theorem [O] . James Ian Stuart, Johan Delport, Robert Lannigan, 2014

机译：使用重复分析和带有Fieller定理的图形用户界面确定实时聚合酶链反应的测量不确定度
7. Functional Design and Implementation of Graphical User Interfaces for Theorem Provers [O] . Christoph Lüth, Burkhart Wolff 1999

机译：定理证明者的图形用户界面的功能设计和实现

Xlsabelle: A Graphical User Interface to the Isabelle Theorem Prover

摘要

著录项

相似文献

相关主题

期刊订阅