• 可口可乐

  • 引用于1913年的文章[sw00161]
  • 应用程序包括编程语言的形式化语义学(例如,CompCert编译器认证项目。。。
  • 哈斯克尔

  • 在886篇文章中引用[sw03521]
  • 纯函数式编程语言,具有非严格性语义学以及强大的静态类型。它的名字是。。。
  • WordNet公司

  • 引用411篇文章[sw01777]
  • 语法集通过概念的方式相互联系-语义的以及词汇关系。产生的网络…网络中的另一个是语义上消除歧义。其次,WordNet为语义的词与词之间的关系。。。
  • 毫升

  • 引用524篇文章[sw01218]
  • 完全指定并使用形式验证语义学它的类型和模式匹配使它很好。。。
  • 阿尔戈68

  • 引用291篇文章[sw01226]
  • 应用程序和更严格定义的语法和语义学阿尔戈的贡献。。。
  • Z

  • 引用286篇文章[sw10291]
  • 轻微的不一致、不一致和错误(都在语义学以及拼写)。这给人的印象是。。。
  • 烟雾

  • 引用240篇文章[sw04631]
  • 基于稳定模型的实现语义学正常逻辑程序的。基本思想。。。
  • MPFR公司

  • 引用232篇文章[sw03312]
  • 既有效率又有明确的定义语义学它复制了。。。
  • SPARQL公司

  • 在139篇文章中引用[sw07429]
  • SPARQL标准提供了它的语法和形式语义学。然后我们将重点放在形式化……最近发现的有关规范性的重要问题语义学SPARQL中的联合和导航。。。
  • 简单

  • 引用87篇文章[sw14893]
  • 简单性:语义学-图像库的敏感集成匹配。我们在这里呈现简单(语义学-一个图像检索系统,它使用语义学分类方法,基于小波的方法…定位。系统将图像分为语义的类别。潜在地,分类通过允许。。。语义上-自适应搜索方法和缩小数据库的搜索范围。一个度量。。。
  • Isar

  • 引用145篇文章[sw04599]
  • 证明文件旨在弥补语义的内部证据概念之间的差距。。。
  • 羽状爪哇

  • 引用93篇文章[sw16204]
  • 字段、继承和动态类型转换语义学紧跟Java。一个证明…最小的语法,键入规则,和操作语义学使它成为一个方便的工具。。。
  • 巴别塔

  • 引用71篇文章[sw03018]
  • 懒惰还原的基础语义学它包含了重写和SLD解析,并支持…数据结构。还有一个声明性的语义学,基于Scott domains,它为BABEL程序提供了…模型。我们两者兼而有之语义学并证明了该约化的最小Herbrand…稳健性结果的存在性语义学w、 r.t.陈述式的。我们还画了一个完整的。。。
  • C模型

  • 引用72篇文章[sw04435]
  • 基于两者之间的关系语义学:答案集和完成语义学…程序调用严密,答案已定语义学相当于完成语义学,所以。。。
  • 喀拉喀托

  • 引用89篇文章[sw03159]
  • 程序建模的证明助手语义学并进行证明的开发,最后…JAVA的表示语义学JAVA程序的输入语言。。。
  • RCV1型

  • 参考文献123篇[sw07279]
  • 产生RCV1数据,预期语义学等级分类法和更正。。。
  • Risa/Asir

  • 参考文献118篇[sw00806]
  • 接口。Asir的语法和语义学作为C语言。此外。。。
  • 托勒密

  • 引用81篇文章[sw07459]
  • 模块形式化语义学为了托勒密。托勒密是一个开源和可扩展的建模和仿真…任意的方式。本文提出了一种形式化的语义学对于托勒密来说是模块化的。。。
  • 宾州树库

  • 参考文献112篇[sw08023]
  • 生成显示粗略语法和语义的信息--一个语言树库。。。
  • PDDL

  • 在106篇文章中引用[sw07079]
  • 语言的语法,它的形式语义学以及并行计划的验证。我们观察到。。。