• 马戏团

  • 引用87篇文章[sw21828]
  • 统一命令CSP、Z和精化微积分. 我们描述马戏团的语言。。。
  • 乔丹

  • 参考12篇文章[sw24342]
  • 中量级Java)-MJ:an命令核心微积分适用于Java和Java with effects。整齐。。。最小值的竞争者命令核心微积分对于Java。虽然紧凑,美赞臣的特点是。。。
  • 奶牛

  • 引用了50篇文章[sw06955]
  • web服务的编排。我们介绍奶牛(微积分Web服务编排。。。在造型上表现出它的表现力命令以及编排结构,例如web服务、流程图。。。
  • 朱诺-2

  • 参考第11条[sw07216]
  • 基于约束的程序设计是由普通的命令编程不是通过添加功能。。。把奇迹排除在微积分爱德斯格·W·狄克斯特拉的守卫命令。放下这个。。。与传统完美地正交命令语言的特点。第二个标准杆。。。
  • 小流氓

  • 引用2篇文章[sw13590]
  • 系统结合了$lambda的中心思想$-微积分以及术语重写。重写是明确的。。。论文以命令重写的版本微积分叫流氓。然后显示。。。
  • 霍尔布吉

  • 在14篇文章中引用[sw00409]
  • 程序验证条件生成器命令核心语言。它有前端。。。parIts验证条件——通过wp构建微积分从这些注释中——通常被转移。。。
  • 阿尔法

  • 参考6篇文章[SW717号文件]
  • 生命周期等)可以引导转变命令通用循环代码(顺序。。。并行化,代码生成,语言语义,凸多面体微积分抽象和非标准解释,程序验证。。。
  • 次中量级Java

  • 引用3篇文章[sw24343]
  • Java(WJ),一种新的最小核心Java微积分作为一个合适的起点。。。为羽量级爪哇增加了体重。WJ是命令有状态的,这是一个频繁的扩展。。。类Java系统。我们相信微积分是一个很好的扩展起点。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 毫升

  • 参考506篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。