半人马

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

此软件的关键字

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

zbMATH参考文献（19篇文章引用）

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

  1. 米勒，戴尔：重温机械化元理论（2019）
  2. van der Hoeven，Joris；Lecerf，Grégoire；Raux，Denis：编辑数学公式时保持语法正确性（2017）
  3. Bettini，Lorenzo:用Xsemantics实现IDE的类型系统（2016）
  4. 范德霍文，乔里斯：走向语义数学编辑（2015）
  5. Meseguer，José；Roşu，Grigore:重写逻辑语义项目：进度报告（2013）
  6. 盖克，安德鲁；米勒，戴尔；纳达图尔，戈帕兰：名义抽象（2011）
  7. Meseguer，José；Roşu，Grigore:重写逻辑语义项目：进度报告（2011）
  8. Şerbănuţă，Traian Florin；Roşu，Grigore；Meseguer，José：操作语义的重写逻辑方法（2009）
  9. Pierre Alain Muller；Fondement，Frédéric；Fleurey，Franck；Hassenforder，Michel；Schnekenburger，Rémi；Gérard，Sébastien；Jézéquel，Jean-Marc：《文本具体句法的模型驱动分析与综合》（2008）ioport公司
  10. Hills，Mark；Şerbănuţă，Traian；Roşu，Grigore：语言定义和高效口译员生成的重写框架（2007）
  11. Mousavi，Mohammadeza；Reniers，Michel A.；Groote，Jan Friso：SOS格式和元理论：20年后（2007年）
  12. Şerbănuţă，Traian Florin；Roşu，Grigore；Meseguer，José：操作语义的重写逻辑方法（扩展摘要）（2007）
  13. Barthe，Gilles；Courtieu，Pierre；Dufay，Guillaume；Melo de Sousa，Simão:类型化低级语言的工具辅助规范和验证（2005）
  14. Paige，Robert:NSF提案（2005）
  15. Roisin，C.；Claves，P.；Akpotsui，E.：在结构化编辑系统中实现剪切和粘贴操作（1997）
  16. 贝托特，珍妮特；贝托特，伊夫：CtCoq：系统介绍（1996）
  17. Cassez，Franck；Roux，Olivier:将电子反应式语言编译成有限转换系统（1995）
  18. Laville，Alain：模式匹配和术语重写中优先规则的比较（1991）
  19. 斯内尔，格雷戈：语境关系的演算（1991）