• 辅酶Q

  • 1706篇参考文献[SW0161]
  • 应用程序包括编程语言的形式化。语义(例如编译器编译器认证项目…
  • 哈斯克尔

  • 811篇参考文献[SW03521]
  • 非严格的纯函数程序设计语言语义强静态类型。它被命名为…
  • 字网

  • 372篇参考文献[ SW01777 ]
  • 集合是通过概念联系起来的。语义的词汇关系。由此产生的网络…网络中的另一个是语义上消除歧义。其次,WordNet标注了语义的词语之间的关系…
  • 毫升

  • 491篇参考文献[SW01218]
  • 完全指定和验证使用正式语义. 它的种类和图案匹配使它很好。
  • Algl 68

  • 281篇参考文献[SW01226]
  • 应用和更严格定义的语法和语义. ALGOL的贡献…
  • Z

  • 270篇参考文献[SW1091]
  • 微小的不一致性、不一致性和错误(两者都在语义拼写)。这给人的印象是…
  • 模特儿

  • 236篇参考文献[SW04631]
  • 基于稳定模型的实现语义正常逻辑程序。基本理念…
  • MPFR

  • 185篇参考文献[ SW033 12]
  • 既有效率又有明确的定义语义. 它从……复制好主意。
  • SPARQL

  • 116篇参考文献[ SW07929 ]
  • SPARQL标准介绍其语法和形式语义. 然后我们专注于形式化…重要的最近发现的关于规范的问题语义联盟和导航在SPARQL中…
  • 简单性

  • 83篇参考文献[SW14893]
  • 简约:语义图像库的综合集成匹配。我们在这里呈现简单性(语义敏感集成…图书馆,一个图像检索系统,它使用语义分类方法,一种基于小波的方法…位置系统将图像分类为语义的类别潜在地,分类通过允许…语义上-自适应搜索方法,并缩小数据库中的搜索范围。措施…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 惰性约简的基础语义既体现重写和SLD分辨率和支持…数据结构。也有陈述式的。语义,基于史葛域,它提供…巴别塔程序模型。我们共同发展语义证明了最小HelBand的存在性。稳健性结果语义声明性的。我们还描绘了一个完整性…
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 字段、继承和动态类型转换语义紧跟Java的一个证明…最小语法、分类规则和操作语义轻量级Java使它成为一个方便的工具…
  • 喀拉喀托

  • 85篇参考文献[SW03159]
  • 程序建模辅助证明助手语义并进行证明的发展,最后…Java的表示语义将Java程序转化为为什么输入语言…
  • 模型

  • 65篇参考文献[ SW044 35]
  • 基于二者之间的关系语义答案集和完成语义程序称为紧,答案集语义相当于完成语义这样…
  • 托勒密

  • 76篇参考文献[ SW0759]
  • 模块化形式语义为了托勒密。托勒密是一个开源的和可扩展的建模和仿真…武断的时尚本文提出了一种形式化的语义对于托勒密,这是模块化的…
  • RCV1

  • 99篇参考文献[SW07229]
  • 产生RCV1数据,预期语义层次分类法的分类和更正…
  • 宾州树库

  • 96篇参考文献[ SW08023 ]
  • 产生骨架句法,表现粗略句法和语义的信息——一组语言树
  • 普罗格斯

  • 69篇参考文献[SW02905]
  • 检查器能够检查静态语义规格的本文提出…允许检查规格的语义在运行时。它讨论了一个数字…