• 干净

  • 参考58篇文章[sw01346]
  • 基于术语的功能语言图形 重写. 它是专门为使开发。。。清理其中的术语图形 重写语义学。特别重要的是。。。
  • 进展

  • 引用了70篇文章[sw02905]
  • 类型概念。它支持用图表 重写系统。一个集成的类型检查器能够。。。
  • 达克尔特

  • 引用28篇文章[sw02871]
  • 基于广义计算模型图表 重写与Dactl一起提供,一个相关的编译器。。。说明图表 重写为了模拟各种计算形式。。。语言可以描述为图表 重写使用Dactl符号的转换。以下是。。。
  • 原子3

  • 引用32篇文章[sw10092]
  • 相应的形式主义。AToM 3依赖图表 重写技术和图表要表演的语法。。。
  • 格兰根

  • 引用21篇文章[sw00387]
  • 持久数据存储和查询。图形 重写是处理指针的高级方法。。。抽象层次,使用声明模式匹配和重写,在你的。。。
  • 波基

  • 参考11篇文章[sw06923]
  • 动态交互作用图表 重写系统。图形 重写系统出现。。。模拟重写微积分将为专家提供一种与。。。研究,将图表 重写系统进入高级可视化编程环境。。。
  • 闪闪发光

  • 参考第14条[sw09803]
  • 基于lazy的语义图表-重写. 这样就可以在程序上进行推理。。。
  • 提洛尔人

  • 引用89篇文章[sw07830]
  • 自动反证重写系统。它是完全重新设计的接班人。。。当前(非)终止技术包括:近似依赖图表,参数筛选,边界,依赖对方法,Knuth。。。
  • 伦塔尔

  • 引用9篇文章[sw07312]
  • 基于层次结构的简单语言模型图表 重写它使用逻辑变量来表示连接性。。。
  • 同意

  • 引用8篇文章[sw23738号]
  • 同意-代数图表 重写嵌入控制。几种代数方法图表建议的转换。。。
  • GGL公司

  • 引用4篇文章[sw22850]
  • 图书馆-一个通用的化学框架图表 重写系统。图形 重写系统是强大的工具。。。目前可用[8]。这个图形语法库(GGL),在这篇文章中提出。。。双推出法图表 重写系统[7]关于无向标记...
  • 塞塔

  • 引用42篇文章[sw06584]
  • 学期重写包括三个主要的终止条件:依赖对、依赖,和还原对。第二。。。
  • 黄蜂

  • 参考6篇文章[sw21362]
  • 基于逻辑的程序设计图表 重写在线性时间算法上显示。。。
  • 先生

  • 引用5篇文章[sw07071]
  • 延长期限的实施图表 重写计算模型(用DACTL语言描述。。。
  • 动量2

  • 在10篇文章中引用[sw10025]
  • 时刻2。我们提供实时重写形式语义到实时模型转换。。。Eclipse建模框架使用图表改造和重写逻辑技术。我们举例说明我们的方法。。。
  • 伟大的

  • 引用4篇文章[sw22852]
  • 图形 重写和转换语言:很好。在本文中,我们描述了它的语言和特点。。。图表转换工具,太好了。我们从简单的介绍和动机开始,然后是概述。。。
  • 定量的

  • 引用2篇文章[sw10107]
  • 探索量子理论图表 重写计算机代数。它可能有用。。。很多计算。但是,手动操作描述这样的系统很快变得站不住脚。。。自动化和半自动探索图表 重写系统及其底层语义。我们强调。。。标识并将这些标识用作图表 重写扩展理论。。。
  • GMTE公司

  • 引用2篇文章[sw07046]
  • 主要任务:图表匹配和图表 重写. 目前,很少图表转换工具支持多。。。重写要使用的规则。本文介绍了GMTE工具--图表匹配。。。GMTE处理不精确的问题图表匹配。方法重写GMTE使用的规则组合。。。扩展了图表 重写规则。此外,对于图表匹配,GMTE。。。
  • 极地的

  • 引用2篇文章[sw07906]
  • 基于图表 重写以及设计的双向转换。。。声明的。我们的方法使用独立语言图表表示证据发展的元模型。。。一般的方式。我们使用图表 重写用依赖信息丰富元模型。。。
  • ViSiDiA公司

  • 参考第1条【sw31241】
  • 分布式算法的仿真,使用图表 重写规则,移动代理或移动传感器。写的。。。