半人马

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


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)