埃兰

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


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

显示结果1至20的108。
按年份排序(引文
  1. 杜拉恩,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;MaMi'-OLIET,纳西索;MeeGuer-Joee;Rubio,RoueN;塔尔科特,卡洛琳:Mod(2020)中的程序设计和符号计算
  2. 费尔南德斯,Maribel;基什内尔,H·L·E,Pinaud,布鲁诺:战略端口图重写:交互建模框架(2019)
  3. 费尔南德斯,Maribel;基什内尔,H·L·N;Pinaud,布鲁诺;Vallet,杰森:社会网络的标记图战略重写(2018)
  4. 卢卡斯,萨尔瓦多;MeSeGuer-Joee;GuTyeRrz,Ra:L:条件重写系统的2D依赖对框架。I:定义和基本处理器(2018)
  5. 卢卡斯,萨尔瓦多;MeeGuer-Joe:依赖条件对证明条件项重写系统的终止性质(2017)
  6. 费尔南德斯,Maribel;基什内尔,H·L·N;Pinaud,布鲁诺;Vallet,杰森:标记图形重写满足社交网络(2016)
  7. Ciobanu,加布里埃尔;Kutny,Maciej;Siggle,杰森:基于策略的移动性与时间和访问权限的语义(2015)
  8. 卢卡斯,萨尔瓦多:在上下文敏感重写终止时函数调用冻结位置(2015)
  9. 基什内尔、琳恩:重写策略与战略重写程序(2015)
  10. L.Pez B.BeDA,Edmundo;Calange,Maximilien;布克斯,Ddie:战略:一个通用Petri网验证框架(2014)伊波尔特
  11. 巴尔丹,Paolo;Bertolissi,克拉拉:图重写演算中的共享(2012)
  12. Gnaedig,伊莎贝尔;基什内尔,H·L·恩:证明重写的弱性质(2011)
  13. 科雷亚,F,Falaschi,M.:一个基于规则的程序的诊断和纠正的集成框架(2010)
  14. Shankar,Natarajan:改写、推理和证明(2010)
  15. Traian Florin,R.U,Gigig. MeeGuer-Joe:一个操作语义的重写逻辑方法(2009)
  16. Braband,克劳斯;Schwartzbach,Michael I.:Meta Favrt系统:安全和可扩展的解析和转换(2007)
  17. Curista,Horatiu;Faure,GelMon;基什内尔,克劳德:A(\Rho)-显式约束应用演算(2007)
  18. ErWig,马丁;Run,Dele:一种用于表示类型安全程序更新的更新演算(2007)
  19. Faure,杰曼:在(λ)和(-Rho)-结石中的术语集合(2007)
  20. Victor L.:基于模型驱动的基于Java的压力测试生成(2007)伊波尔特