埃兰

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


ZBMaX中的参考文献(105篇)2篇标准文章

显示结果21至40的105。
按年份排序(引文
  1. 科钦,西尔文,Sava,《决策程序组合策略》(2006)
  2. 五月,乔纳森;奈特,凯文:提伯龙:一个加权树自动机工具包(2006)
  3. 罗西,弗朗西丝卡(ED);范贝克,彼得(ED);沃尔什,托比(ED):约束编程手册。(2006)
  4. R.U,GRIGOR:作为注入性的满意度的完全分类演绎(2006)
  5. 〔2006〕厄尔布努,Traian Florin;Roüu,Grigo:条件等价的计算消除(英文)
  6. Siggle,L. J.:用三阶等式方法验证无限收缩算法(2006)
  7. 罗素,格里戈雷:从条件到无条件重写(2005)
  8. Trutt,劳伦斯:模型转换和工具集成(2005)伊波尔特
  9. Verdejo,阿尔伯托;MARITIO-OLIET,纳西索:Maude语义执行的两个案例:CCS和Lotos(2005)
  10. 维瑟,EELCO:基于规则的程序转换系统的策略综述(2005)
  11. 福伊拉德,纪尧姆;吉尼特,托马斯;Viet Triem Tong,ValeRie:术语重写系统的可达性分析(2004)
  12. Fissore,奥利维尔;GnaEdig,伊莎贝尔;基什内尔,Hell Lene:最外层接地终止(2004)
  13. 基什内尔,克劳德;基什内尔,Hell Lene:基于规则的编程和证明:ELAN经验结果(2004)
  14. Marin,MiCESA;Kutsia,TEMUR:实施评估策略的基于规则的方法(2004)
  15. 从语言规范到形式分析工具(2004)重写逻辑语义学
  16. THATI,Prasanna;Sen,KouSek;MARTIO-OLIET,纳西索:异步PI演算语义的可执行规范,并可在Mod 2(2004)中进行测试
  17. Pascal,Sala,格温:状态图中形式数据类型的集成(2003)
  18. Bournez,奥利维尔;C.M.Me,Guy Marie;Conraud,Valee Rie;基什内尔,Hell Lene;IbnSeCu,Liliana:一种基于规则的自动生成动力学化学机制的方法(2003)
  19. 品牌塞巴斯蒂安:基于规则的约束规划中冗余规则的注记(2003)
  20. 陈,冯;R.I.U,Grigur. V.V. KATATESAN,RAMPRAASD:基于规则的尺寸安全性分析(2003)