半人马

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


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)