• 伊巴尔

  • 27条引用[sw08945]
  • 决策理论代理人。伊巴尔提供了丰富的声明的描述概率模型的语言。表达式。。。语法和语义学以及一个概述。。。
  • 斯波克

  • 引用5篇文章【sw30413】
  • 语义学似乎很不自然,因为使用命令式求解算法会破坏声明的味道。。。
  • 恶搞

  • 参考11篇文章[sw16988号]
  • 在一个单一的环境中。它使用简洁,声明的语言和IDE服务规范。。。高级语言规范的习语语义学使用重写规则,展示如何分析。。。
  • 布吉普尔

  • 参考12篇文章[sw21521]
  • 加上对引入数学函数和申报这些函数的属性。布吉普尔。。。以及语义学这种源语言的。从。。。
  • GF公司

  • 引用32篇文章[sw13667]
  • 具体语法。GF语法本身是纯粹的声明的,但可用于线性化。。。抽象语法中的依赖类型来表示语义的条件,例如好的字体和校样。。。
  • 乌尔萨

  • 引用4篇文章[sw15541]
  • 声明的编程范例。SAT的精确定义是语义学...
  • 混合液

  • 参考6篇文章[sw22612]
  • 极简主义;它强调,语义上ML模块系统的有趣特性。。。发挥中心作用。我们提供声明的MixML的类型系统,包括两个重要的。。。该系统的检查算法。操作语义学MixML的定义是。。。
  • 引用5篇文章[sw30121]
  • 正在处理即席数据。PADS是声明的数据描述语言,允许数据分析员。。。临时数据源的布局和语义的数据的属性。从这样的描述中。。。
  • 洛格兰

  • 引用4篇文章[sw26939]
  • 由语句定义,而不是由宣言. 多维动态数组被构造为数据。。。对象的术语。洛格兰公园语义的模型提供了多级继承,但是。。。
  • 坎伦

  • 引用5篇文章[sw20083]
  • 坎伦是个声明的具有一流关系的逻辑程序设计系统,嵌入纯。。。计划。这个系统有一套理论语义学真正的工会,公平的日程安排,一流的关系。。。
  • 在0篇文章中引用[sw24326]
  • 语义的自动化测试oracle生成方法。本文介绍了该系统的设计、实现和应用。。。声明的好吧。从以前的语法基础上扩展。。。工具,道提供了一个声明的定义指称的符号语义学关于每一个产生式语法规则。。。测试用例已生成,其预期语义学也会自动评估,服务。。。
  • NetCore公司

  • 引用3篇文章[sw13063]
  • 本文中,我们定义了一个高层,声明的一种叫做NetCore的语言,用来表示数据包转发。。。富有表现力,有构图,有正式的语义学. 为了确保大多数数据包。。。
  • 军队

  • 1条引用[sw03238]
  • 部队项目旨在提供强大的声明的用于分析新兴系统的形式。。。安全协议、生物系统和多媒体语义的互动。这篇短文描述了部队的动机。。。
  • 模板Coq

  • 引用3篇文章[sw27569]
  • Coq条款和全球声明内核,以及。。。lambda$-微积分[13]。然而,语法缺乏语义学,是打字吗语义学或可操作性语义学... 作为Coq中的正式规范,反映语义学考克的类型理论本身。。。由Coq实现,包括内核的宣言定义和归纳词的结构,以及实现。。。
  • 古布

  • 引用2篇文章[sw27585]
  • 动力系统。GUBS是基于规则的声明的语言。与封闭系统相比。。。系统的行为。这个语义学语言的存在说明了一些隐藏的。。。
  • 麦芽酒

  • 引用5篇文章[sw28843]
  • Gerald Penn集成了短语结构分析,语义的-头部驱动生成与约束逻辑程序设计。。。附加到类型,并且类型可以是宣布具有伸展的结构同一性条件。语法。。。
  • 教授

  • 1条引用[sw23638]
  • 使用声明的接近。本文描述了PROFETA(站。。。这种语言实现了操作语义学(1)代理语言。PROFETA提供了一个灵活的环境。。。传统的面向对象命令式结构和声明的构造,启用机器人的定义。。。
  • 宏观

  • 1条引用[sw30959]
  • 增强语义学以其他方式。。。提供了一个非常简洁的方法申报类。。。
  • 修补类型

  • 引用5篇文章[sw01773]
  • 正式系统描述(类型系统,运行语义学,逻辑等)。一系列相关系统。。。类型和相关影响。它描述了两者声明的系统的算法方面。。。
  • ASPCGTK公司

  • 1条引用[sw09896]
  • 组合范畴语法(CGC)是用声明的编程范式——答案集编程。它执行广泛。。。工具。ASPCGTK旨在生产语义上给定句子的不同解析树。相比。。。中的类别和规则集声明的直截了当的态度。换句话说,AspCcgTk提供了。。。