半人马

半人马：系统。本文介绍了CENTAUR系统的组成及其主要组成部分。该系统是一个通用的交互环境。当给出特定编程语言的形式化规范（包括语法和语义）时，它会生成特定于语言的环境。这个生成的环境包括一个结构编辑器、一个解释器/调试器和其他工具，所有这些工具都有图形界面。CENTAUR由三部分组成：数据库组件，提供对正式对象及其持久存储的标准化表示和访问；用于执行正式规范的逻辑引擎；一种面向对象的人机界面，可以方便地访问系统的功能。半人马座基本上是用Lisp（Le_Lisp）编写的。逻辑引擎是Prolog（Mu-Prolog）。人机界面建立在Leéu Lisp的虚拟图形设施之上，而Le峎Lisp本身主要是在X-Windows上实现的。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献19条)

显示第1至19个结果，共19个。
按年份排序(引用)

  1. 米勒，戴尔：重温机械化元理论（2019）
  2. 范德霍温，乔里斯；勒克夫，希腊é甲状腺肿；Raux，Denis:编辑数学公式时保持语法正确性（2017）
  3. Bettini，Lorenzo:用Xsemantics实现IDE的类型系统（2016）
  4. 范德霍文，乔里斯：走向语义数学编辑（2015）
  5. 梅斯盖尔，乔斯é; 反渗透şu、 格里戈尔：重写逻辑语义项目：进展报告（2013）
  6. 盖克，安德鲁；米勒，戴尔；纳达图尔，戈帕兰：名义抽象（2011）
  7. 梅斯盖尔，乔斯é; 反渗透şu、 格里戈尔：重写逻辑语义项目：进展报告（2011）
  8. Şerb公司ă努ţă, 特拉安·弗洛林；反渗透şu、 格里戈尔；梅斯盖尔，乔斯é: 操作语义学的重写逻辑方法（2009）
  9. 穆勒，皮埃尔·阿兰；佛蒙特，法国édé风险投资委员会；弗雷利，弗朗克；哈森福德，米歇尔；施内肯伯格，Ré惯性矩；Gé拉尔德，Sé巴斯蒂安；Jézéquel，Jean-Marc：文本具体句法的模型驱动分析与综合（2008）ioport公司
  10. 山丘，马克；Şerb公司ă努ţă, 特拉扬；反渗透şu、 Grigore：语言定义和高效口译员生成的重写框架（2007）
  11. 穆萨维，穆萨维；雷尼尔，米歇尔A。；Groote，Jan Friso:SOS格式和元理论：20年后（2007）
  12. Şerb公司ă努ţă, 特拉安·弗洛林；反渗透şu、 格里戈尔；梅斯盖尔，乔斯é: 操作语义的重写逻辑方法（扩展抽象）（2007）
  13. 巴瑟，吉尔；考蒂厄，皮埃尔；杜菲，纪尧姆；梅洛，苏西姆ão： 类型化低级语言的工具辅助规范与验证（2005）
  14. Paige，Robert:NSF提案（2005）
  15. 罗辛，C。；克莱夫斯，P。；Akpotsui，E.：在结构化编辑系统中实现剪切和粘贴操作（1997）
  16. 贝托，珍妮特；贝托特，伊夫：CtCoq：系统介绍（1996）
  17. 卡塞兹，弗朗克；鲁克斯，奥利维尔：把电子反应性语言编译成有限转换系统（1995）
  18. Laville，Alain：模式匹配和术语重写中优先规则的比较（1991）
  19. 斯内尔，格雷戈：语境关系的演算（1991）