• 可口可乐

  • 引用于1753篇文章[sw00161]
  • 典型的应用包括编程 语言 语义学(例如,CompCert编译器认证项目。。。
  • 哈斯克尔

  • 引用了834篇文章[sw03521]
  • 通用纯功能编程 语言,不严格语义学以及强静态类型。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • 沉重地编程 语言是为数不多的语言完全。。。使用正式的语义学. 它的类型和模式匹配使它非常适合。。。
  • 阿尔戈68

  • 引用285篇文章[sw01226]
  • ALGOL 60的继承者编程 语言设计目标是更广泛的。。。应用程序和更严格定义的语法和语义学. 阿尔戈的贡献。。。它们在后来的发展中又出现了编程 语言...
  • 喀拉喀托

  • 引用86篇文章[sw03159]
  • 语言使用前后条件进行注释,CQQ证明助手用于建模程序...语义学最后是喀拉喀托工具翻译。。。爪哇语义学爪哇岛的程序为什么要输入语言...
  • K检验器

  • 引用41篇文章[sw32257]
  • 可执行文件语义的其中框架编程 语言,计算,以及类型系统或形式。。。编程 语言其目的是挑战和暴露现有的局限性语义的框架。。。
  • 巴别塔

  • 引用71篇文章[sw03018]
  • HOPE、Standard、ML或MIRANDA)和逻辑编程(如序言所示)在一个简单的。。。一边,那个语言使用缩小作为延迟缩减的基础语义学体现了。。。巴别塔的最小Herbrand模型程序. 我们两者兼而有之语义学证明存在。。。减少语义学并说明语言通过一些编程示例。。。
  • 马戏团

  • 引用87篇文章[sw21828]
  • 语义学马戏团的。马戏团是同时进行的语言为了精致,这是一个统一。。。精化微积分。我们描述语言马戏团及其模式的形式化。。。霍尔&他统一了编程...
  • 百万吨

  • 引用16条[sw07905号]
  • 作为实现语义学-保留MSO之间的映射并重写逻辑。。。定义形式主义(MSDF)是规范语言由MMT支持。MSDF语法非常接近。。。几个不同的例子编程 语言 语义学以及并发系统。本文报道。。。
  • Ott公司

  • 引用了30篇文章[sw00663]
  • 语义的满标度的定义编程 语言尽管有很多潜在的好处。。。因为可用的元语言来表达语义学--通常用于非正式数学或正式数学。。。
  • 梅塔普利

  • 在26篇文章中引用[sw04624]
  • MetaPRL的特点是语义的连接到编程 语言,允许系统。。。
  • M网络

  • 参考11篇文章[sw09132]
  • 语义学同时编程 语言. 本文描述了一个高。。。施舍的载体语义学同时编程 语言. 为了说明他们的能力。。。同时表达编程 语言–给出。相关的低层网络语义学描述。。。
  • PLT Redex公司

  • 参考22篇文章[sw09921]
  • 工作语义学工程师(研究生或专业人员语言设计师)。这本书有一个原型。。。浏览、测试、调试和发布语义的模型编程 语言. 有了PLT Redex,语义学家。。。
  • 符号差分

  • 引用16条[sw13093]
  • 符号差异:A语言-不可知论者语义的命令的差异工具程序. 在本文中,我们描述。。。语言-等价性检查和显示的不可知工具语义的(行为)不同于命令程序...
  • CCalc公司

  • 引用75篇文章[sw09899]
  • 语义学语言CCalc与缺省逻辑和逻辑有关编程. 计算上。。。
  • 皮杜

  • 引用了20篇文章[sw01418]
  • 描述PiDuce项目:编程 语言而它语义学,分布式的体系结构。。。
  • 落叶松

  • 引用87篇文章[sw02126]
  • 用于指定程序在不同的语言. 接口规范依赖于。。。用LSL编写的辅助规范语义学他们使用的原始术语。说明符。。。
  • 息肉

  • 引用31篇文章[sw09131]
  • 因为数据类型在程序,或者因为具有类似功能的函数。。。语言(Haskell的一个子集)具有编写多型函数的结构。扩展的语言... 顺序多态性。这个语义学程序在扩展中语言通过添加。。。
  • 进展

  • 引用了70篇文章[sw02905]
  • 规范语言,它具有定义良好的静态类型概念。它支持编程用图形。。。检查器能够检查静电语义学规范的。本文介绍。。。将静态完整性约束集成到语言允许检查规格。。。
  • 剑麻

  • 17条引用[sw13686号]
  • 通用单任务函数编程 语言严格的语义学、隐式并行和高效数组。。。源于VAL(面向值算法语言,并添加了递归。。。普通高级语言对于数值程序在各种多处理器上。(维基百科。。。