伊兰

ELAN系统提供了一个基于策略控制规则的语言来指定和原型化演绎系统的环境。它的目的是支持定理证明器、逻辑编程语言、约束求解器和决策过程的设计,并为研究它们的组合提供一个模块化的框架。它的目的是支持定理证明器、逻辑编程语言、约束求解器和决策过程的设计,并为研究它们的组合提供一个模块化的框架。ELAN借鉴了函数编程中抽象数据类型的概念和基于重写的函数求值原理。但是重写本质上是不确定的,因为在同一术语中,多个规则可以应用于不同的位置,并且在ELAN中,一个计算可能有多个结果。通过选择操作和回溯功能来考虑这一方面。该语言的主要创新之一是提供策略构造函数来指定一个函数调用是返回多个、至少一个还是仅返回一个结果。这种对非确定性的声明性处理是策略语言的一部分,允许程序员在规则应用程序上指定控件。这与许多现有的基于重写的语言不同,在这些语言中,术语缩减策略是硬连接的,应用程序的设计者无法访问。策略语言为基本策略的顺序组合、迭代、确定性和非确定性选择提供原语,这些策略被标记为规则。从这些原语中,可以表达出更复杂的策略。此外,用户可以引入新的策略运算符,并通过重写规则来定义它们。策略应用的评估本身就是基于重写。因此,简单而广为人知的重写范式既提供了演绎系统表达和组合的逻辑框架,又提供了语言的评价机制。这些网页的目的是总结ELAN的特点,图书馆和环境,并提供一个有关该语言的文献指南。


zbMATH中的参考文献(参考文献108篇文章,2标准条款)

显示108个结果中的1到20个。
按年份排序(引用)
  1. 杜兰,旧金山;埃克,史蒂文;圣地亚哥埃斯科巴;玛蒂奥利特,纳西索;梅斯盖尔,何塞;鲁比奥,鲁宾;Carolyn Talcott:Maude的编程和符号计算(2020)
  2. 费尔南德斯,玛丽贝尔;基什内尔,Hélène;Pinaud,Bruno:战略港口图改写:交互式建模框架(2019)
  3. 费尔南德斯,玛丽贝尔;基什内尔,Hélène;皮诺,布鲁诺;贾森·瓦莱特:社交网络的标签图战略改写(2018)
  4. 卢卡斯,萨尔瓦多;梅斯盖尔,何塞;Gutiérrez,劳尔:条件重写系统的2D依赖对框架。一: 定义和基本处理器(2018)
  5. 卢卡斯,萨尔瓦多;Meseguer,José:证明条件项重写系统终止性质的依赖对(2017)
  6. 费尔南德斯,玛丽贝尔;基什内尔,Hélène;皮诺,布鲁诺;贾森·瓦莱特:《标签图形重写与社交网络》(2016)
  7. 乔巴努,加布里埃尔;库特尼,麦基;Steggles,Jason:基于策略的具有时间和访问权限的移动性语义(2015)
  8. 古铁雷斯,劳尔;Lucas,Salvador:终止上下文相关重写时冻结位置的函数调用(2015)
  9. Kirchner,Hélene:重写策略和战略重写计划(2015)
  10. 洛佩斯·贝达,埃德蒙多;科朗格,马克西米利恩;Buchs,Didier:战略:通用Petri网验证框架(2014)ioport公司
  11. 保罗,巴尔丹;Bertolissi,Clara:共享图形重写演算(2012)
  12. 格奈迪格,伊莎贝尔;Kirchner,Hélène:证明重写的弱属性(2011)
  13. 阿尔普特,M。;巴利斯,D。;科雷亚,F。;Falaschi,M.:基于规则的程序诊断和纠正的集成框架(2010)
  14. Shankar,Natarajan:重写、推理和证明(2010)
  15. Şerbănuţă,特里安·弗洛林;罗şu,格里戈;Meseguer,José:操作语义的重写逻辑方法(2009)
  16. 布拉布兰德,克劳斯;Schwartzbach,Michael I.:metafront系统:安全和可扩展的解析和转换(2007)
  17. Cirstea、Horatiu;福尔,德国;Kirchner,Claude:显式约束应用的(\rho)演算(2007)
  18. 欧文,马丁;任德玲:表示类型安全程序更新的更新演算(2007)
  19. 福尔,热尔曼:(\lambda)和(\rho)-结石中的术语集(2007)
  20. Winter,Victor L.:基于模型驱动的转换生成Java压力测试(2007)ioport公司