半人马座

半人马:系统。本文介绍了半人马座系统的组成及其主要组成部分。该系统是一个通用的交互环境。当给定特定的编程语言的正式规范,包括语法和语义时,它会产生特定于语言的环境。由此产生的环境包括结构编辑器、解释器/调试器和其他工具,所有这些工具都具有图形接口。半人马是由三个部分组成的:一个数据库组件,它提供了对正式对象及其持久存储的标准化表示和访问;一个用于执行正式规范的逻辑引擎;一个面向对象的人机界面,提供了对系统功能的简单访问。半人马基本上是用Lisp(Leis-Lisp)编写的。逻辑引擎是PROlog(MU-PROlog)。人机界面是建立在LIE-LISP的虚拟图形设备之上的,它本身主要是在X-Windows之上实现的。


ZBMaCT中的参考文献(19篇文章中引用)

显示结果1至19的19。
按年份排序(引文

  1. Miller、Dale:机械化元理论再探(2019)
  2. van der Hoeven,Joris;勒克夫,格雷吉尔;劳克斯,丹尼斯:在编辑数学公式时保留句法正确性(2017)
  3. Bettini,洛伦佐:用x语义实现IDE的类型系统(2016)
  4. van der Hoeven、Joris:语义数学编辑(2015)
  5. MeeGuer-Joee,Roüu,Grigo:重写逻辑语义项目:进度报告(2013)
  6. Gacek,安得烈;Miller,Dale;Nadathur,Gopala:名义抽象(2011)
  7. MeeGuer-Joee,Roüu,Grigo:重写逻辑语义项目:进度报告(2011)
  8. Traian Florin,R.U,Gigig. MeeGuer-Joe:一个操作语义的重写逻辑方法(2009)
  9. Muller,Pierre Alain;FoudMess,Fr.EdEric;Fruly,Fr.C.;Hassenforder,米歇尔;Schnekenburger,Remii;GeeRaad,Se巴斯蒂安;Jez z Quell,Jean Marc:文本驱动的文本句法分析和合成(2008)伊波尔特
  10. Hills,马克;厄尔布努,特拉扬;R.U,GRIGOR:语言定义和高效口译员生成的重写框架(2007)
  11. 穆萨维、Mohammadreza、雷尼尔、Michel A.、Groote、Jan Friso:SOS格式与元理论:20年后(2007)
  12. Traian Florin,R.U,Gigig. MeeGuer-Joe:一个操作语义的改写逻辑方法(扩展摘要)(2007)
  13. Barthe,吉尔斯;CurTiue,彼埃尔;Duffay.纪尧姆;Melo de Sousa,SIM O:工具辅助规范和类型化低级语言的验证(2005)
  14. 佩姬,罗伯特:美国国家科学基金会的建议(2005)
  15. Roisin,C.,Calvices,P.AkPultue,E.:在结构化编辑系统中实现剪切和粘贴操作(1997)
  16. Bertot,珍妮特;Bertot,伊维斯:CtCoq:系统介绍(1996)
  17. 法兰克;鲁镇,奥利维尔:电子反应语言在有限过渡系统中的编译(1995)
  18. 拉维尔、阿兰:模式匹配和术语重写中的优先规则比较(1991)
  19. Sneltin,Gregor:语境关系演算(1991)