半人马座

半人马：系统。本文介绍了半人马座系统的组成及其主要组成部分。该系统是一个通用的交互环境。当给定特定的编程语言的正式规范，包括语法和语义时，它会产生特定于语言的环境。由此产生的环境包括结构编辑器、解释器/调试器和其他工具，所有这些工具都具有图形接口。半人马是由三个部分组成的：一个数据库组件，它提供了对正式对象及其持久存储的标准化表示和访问；一个用于执行正式规范的逻辑引擎；一个面向对象的人机界面，提供了对系统功能的简单访问。半人马基本上是用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）