• Python

  • 1072篇参考文献[SW14460]
  • 设计哲学强调代码可读性,以及它的句法允许程序员用更少的概念表达概念…
  • 减少

  • 736篇参考文献[SW0789]
  • 定义新函数和扩展程序句法解析微分与积分;多项式因式分解;设施…
  • 421篇参考文献[SW09501]
  • 速度快,图书馆宽,设计好句法这导致程序更容易…
  • Algl 68

  • 281篇参考文献[SW01226]
  • 适用范围和更严格的定义句法语义学。ALGOL的贡献…
  • 吸血鬼

  • 227篇参考文献[SW0918]
  • 一阶逻辑中的问题句法,使它复杂化并执行一个数字…
  • RCPP

  • 163篇参考文献[SW08355]
  • 在曝光的同时获得很大的性能句法这比使用要好得多。功能特色Rcpp属性提供高级句法将C++函数声明为可调用的…
  • Lisp

  • 125篇参考文献[SW07201]
  • 允许程序员创建新系统句法甚至嵌入新的领域特定语言…数据还提供了Lisp即时识别。句法. 所有程序代码编写…
  • 斯帕斯

  • 173篇参考文献[SW04108]
  • 我们的一阶公式句法. 在这样的公式上运行SPASS结果…
  • SPARQL

  • 119篇参考文献[ SW07929 ]
  • 首先介绍SPARQL标准的提出句法形式语义。然后我们关注…
  • 西洋陆军棋

  • 74篇参考文献[SW01259]
  • 控制规则的应用,具体句法为了表达规则的模式…句法对象语言和动态重写规则来表示上下文敏感变换,从而…
  • SWRL

  • 48篇参考文献[SW1402]
  • 语言SWRL包括高级抽象句法在两个喇叭状规则…包括本摘要中的规则的本体句法. 一个XML句法基于规则…演示句法RDF混凝土句法基于OWL的RDF/XML交换…句法还给出了几个例子…
  • 菲什帕克

  • 89篇参考文献[ SW08012]
  • 仅分离椭圆偏微分方程,优选FORTRAN90句法然后你可能想使用FISPACK90…
  • PDDL

  • 88篇参考文献[SW07079]
  • 在比赛中使用。我们描述了句法语言的形式语义…
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 语言,同时保持愉快紧凑。极小值句法轻量级的打字规则和操作语义。
  • MPTP 0.2

  • 43篇参考文献[SW02589]
  • MPTP切换到通用扩展TPTP句法这增加了与术语相关的种类和抽象…弗兰克尔)对TPTP的术语句法. 我们描述这些扩展,并解释它们如何…MPTP转化为标准TPTP句法利用分类的相对化和抽象的去匿名化。在扩展TPTP中也编码句法,允许多个ATP实验。这包括…
  • 新鲜的

  • 48篇参考文献[SW08992]
  • 表示相当于对象级别的片段句法. 这是通过一个新的指称…处理对象级句法模A等价…
  • GF

  • 32篇参考文献[SW13667 ]
  • 抽象描述框架(LF)句法并加上一个符号…定义混凝土句法. GF语法本身纯粹是声明性的,但可以同时使用…线性化句法树和解析字符串。GF可以描述正式语言和自然语言。在抽象中使用依赖类型句法表达语义条件,如良好的音阶…
  • SMIL

  • 41篇参考文献[SW033 78]
  • 屏幕允许SMIL 3的再利用句法和其他基于XML的语言的语义…定义语义和XML句法对于SMIL功能的某些领域…
  • 科马尔

  • 55篇参考文献[SW30775 ]
  • 家用电脑。“彗核”句法[语义学] [ 1 ]包含语言的形式定义…