• 埃兰

  • 108篇参考文献[SW02179]
  • 埃兰系统提供了一个环境,用于指定和原型演绎系统在一个基于语言的…支持定理证明器的逻辑设计编程语言、约束求解器和决策程序…支持定理证明器的逻辑设计编程语言、约束求解器和决策程序…研究它们组合的框架。埃兰从功能出发编程抽象数据的概念…
  • 卡里布

  • 14篇参考文献[SW10064 ]
  • 基于规则的编程语言,在哪里程序重写系统和查询评估包括…Maude,咖啡馆OBJ,或埃兰. 与大多数现有工具相比,这证明…形式主义表达功能程序和评价过程中的中心环节埃兰地方战略…
  • CASL

  • 168篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • 克莱尔

  • 33篇参考文献[SW02583]
  • 克莱尔:把集合、搜索和规则结合起来,更好地…
  • 莫德

  • 647篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 65篇参考文献[ SW08333 ]
  • 汞是一种逻辑/功能编程语言结合…
  • Z

  • 272篇参考文献[SW1091]
  • 使用Z.规范、细化和证明。这本书…
  • YACC

  • 66篇参考文献[SW26931]
  • Yacc(又一个编译器编译器)是一台计算机……