• 埃兰

  • 105篇参考文献[SW02179]
  • 基于语言的演绎系统规则策略控制。它的目的…重写. 但是重写本质上是非确定性的,因为几个规则可应用于不同的…控制在规则应用这与许多现有的对比。重写语言…策略运算符并定义它们重写 规则. 战略应用评价本身是基于…
  • 西洋陆军棋

  • 74篇参考文献[SW01259]
  • 程序转换。战略语言提供重写 规则用于表示基本变换,可编程的重写策略对象语言与动态重写 规则用于表达上下文敏感的转换,从而支持开发…
  • RRL

  • 55篇参考文献[SW28 904]
  • 概述重写 规则实验室(RRL)。RRL(重写 规则实验室)最初开发…基于等式逻辑的推理算法重写技法现在已经成熟成…
  • K检查器

  • 40篇参考文献[SW32 257]
  • 定义,利用配置,计算和规则. 配置组织系统/程序状态的单位…原语言或微积分语法。K(重写规则推广常规重写 规则通过明确…像其他任何条款一样处理重写环境,也就是说,它们可以匹配…
  • 螺旋形的

  • 46篇参考文献[SW0903]
  • DSP算法的代数公式化重写 规则生成大量的实现…
  • 水獭

  • 306篇参考文献[SW02904]
  • 规则是基于分辨率和参数化的,它包括术语的便利性。重写术语…
  • APS

  • 29篇参考文献[SW08969]
  • 计算范式:程序化、功能化、代数化重写 规则合乎逻辑。所有这些…讨论。这些包括数据结构,代数模块,重写以及计算、规范形式、工具…
  • 普罗弗里夫

  • 27篇参考文献[SW06568]
  • Hellman密钥协议,两者都指定为重写 规则或者作为方程。它能处理…
  • TXL

  • 16篇参考文献[SW11319]
  • 解析和回溯重写 规则. 使用一阶函数规划在更高的…比如XML标记,重写策略与语境化规则,没有任何改变…
  • K工具

  • 16篇参考文献[SW0946]
  • 骨架蒸馏。是一个重写基于可执行的语义框架,其中编程语言…使用配置、计算和定义规则. 配置将状态组织成单元,这是…比如程序的片段。()重写规则明确哪些部分…就像任何其他条款一样重写环境:他们可以匹配,从…
  • 调试器

  • 15篇参考文献[SW09904]
  • 通过添加MEL扩展的更改重写 规则,它对应于状态之间的转换…重写逻辑,以及重写可到达项集规则. 我们用缩写词…基于Maude的高性能系统重写逻辑。我们说明它的使用与…
  • 德杜克蒂

  • 14篇参考文献[SW13663]
  • 添加类型的微积分重写 规则能够在演绎模块中表达证据。
  • 假斧

  • 11篇参考文献[ SW16988 ]
  • Spopax语言工作台:规则用于语言和IDE的声明性规范。Spopax是一种语言…语言语义学的层次规范重写 规则,展示如何分析可以重复使用…
  • HOCL

  • 7篇参考文献[SW07078]
  • 交换条件改写多集重写 规则多组表示化学反应和溶液…首先,将多个集合推广到包括重写 规则成为一流公民。这个延伸…
  • 塔姆普

  • 6篇参考文献[SW03197]
  • 借助程序支持程序转换重写 规则. 一套重写 规则被使用…
  • 红衣主教

  • 9篇参考文献[SW0699]
  • 正式呈现为一组重写 规则在一个约束存储,我们说明…
  • 吸血鬼

  • 208篇参考文献[SW0918]
  • 用于处理相等的叠加。分裂规则并对负相等分裂进行了模拟。重言式删除(可选的模交换性),包容决议,重写按有序的单位等式,和轻量级的…
  • 提洛尔

  • 88篇参考文献[SW07830]
  • 自动证明(和反驳)终止项重写系统这是完全重新设计的继任者…投影和子项标准,不可用,可用规则
  • 吉蒂

  • 5篇参考文献[SW10121]
  • 规范化顺序与应用重写 规则. 检查策略注释是否正确…
  • 汤姆

  • 23篇参考文献[SW09814]
  • 方法是通过促进重写技术及其大规模集成使用方便,与他人竞争规则基于语言…