伊兰

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


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

显示108个结果中的1到20个。
按年份排序(引用)
  1. 德兰,弗朗西斯科;埃克尔,史蒂文;埃克尔,圣地亚哥;马蒂奥利特,纳西索;梅斯盖尔,何塞;鲁比奥,鲁宾;卡罗琳塔尔科特:莫德的编程和符号计算(2020年)
  2. 费南德斯,马里贝尔;基什内尔,赫勒;皮诺,布鲁诺:战略港口图改写:一个互动模型框架(2019年)
  3. 玛丽贝尔·费尔南德斯(Fernández)、赫勒内(Hélène)基什内尔(Kirchner),布鲁诺(Bruno)皮诺(Pinaud),贾森·瓦莱特(Vallet),贾森(Jason):社交网络的标签图战略改写(2018年)
  4. Lucas,Salvador;Meseguer,José;Gutiérrez,Raúl:条件重写系统的2D依赖对框架。一: 定义和基本处理器(2018)
  5. Lucas,Salvador;Meseguer,José:证明条件项重写系统终止性质的依赖对(2017)
  6. 费南德斯,玛丽贝尔;基什内尔,赫勒;皮诺,布鲁诺;瓦莱特,杰森:标签图形重写满足社交网络(2016)
  7. Ciobanu,Gabriel;Koutny,Maciej;Steggles,Jason:Strategy based semantics for mobility with time and access permissions(2015年)
  8. Gutiérrez,劳尔;Lucas,Salvador:终止上下文相关重写时冻结位置的函数调用(2015)
  9. Kirchner,Hélene:重写策略和战略重写计划(2015)
  10. López Bóbeda,埃德蒙多;Colange,Maximilien;Buchs,Didier:《战略:通用Petri网验证框架》(2014)ioport公司
  11. Baldan,Paolo;Bertolissi,Clara:共享图形重写演算(2012)
  12. 伊莎贝尔·涅迪格;赫勒·基什内尔:证明重写的弱属性(2011)
  13. alpunte,M.;Ballis,D.;Correa,F.;Falaschi,M.:基于规则程序诊断和纠正的集成框架(2010)
  14. Shankar,Natarajan:重写、推理和证明(2010)
  15. Şerbănuţă,Traian Florin;Roşu,Grigore;Meseguer,José:操作语义的重写逻辑方法(2009)
  16. Brabrand,Claus;Schwartzbach,Michael I.:metafront系统:安全和可扩展的解析和转换(2007)
  17. Cirstea,Horatiu;Faure,Germain;Kirchner,Claude:A(\rho)-显式约束应用演算(2007)
  18. Erwig,Martin;Ren,Deling:表示类型安全程序更新的更新演算(2007)
  19. 福尔,热尔曼:(\lambda)和(\rho)-结石中的术语集(2007)
  20. Winter,Victor L.:基于模型驱动的转换生成Java压力测试(2007)ioport公司