• GHC公司

• 引用了43篇文章[sw23765号]
• 还为GHC提供同步原始的。后者是预期应用所需的。。。逻辑程序设计语言短信与其他形式有密切关系数据流 语言，按顺序通信。。。

• GRL公司

• 引用2篇文章【sw16845】
• 语言，称为GRL（GALS代表语言)设计用来抽象地模拟GALS系统。。。形式语义结合同步反应性模型数据流 语言异步并发模型。。。

• 可口可乐

• 在1849篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• 伊莎贝尔

• 引用669篇文章[sw00454]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• 地图还原

• 引用256篇文章[sw00546]
• MapReduce是一种新的并行编程模型。。。

• 伊莎贝尔/霍尔

• 引用989篇文章[sw01569]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• StreamIt公司

• 引用了20篇文章[sw01794]
• StreamIt是一个程序语言还有一份汇编。。。

• 库达

• 引用1275篇文章[sw03258]
• NVIDIA®CUDA®工具箱提供全面的开发。。。

• 旋转

• 引用721篇文章[sw03455]
• Spin是一个流行的开源软件工具。。。

• 哈斯克尔

• 引用864篇文章[sw03521]
• Haskell是一个标准化的，通用的纯功能。。。

• 艾菲尔

• 引用289篇文章[sw03522]
• 埃菲尔是一个ISO标准化，面向对象的编程。。。

• 努西姆

• 引用305篇文章[sw04131]
• NuSMV是一个符号模型检查器，它是作为。。。

• 米本奇

• 引用51篇文章[sw04421]
• 本文考察了一套具有商业代表性的。。。

• AspectJ公司

• 引用130篇文章[sw04426]
• 面向方面的Java扩展。AspectJ TM。。。

• 乌帕阿尔

• 引用646篇文章[sw04702]
• Uppaal是一个用于建模的集成工具环境。。。

• 雷奥

• 引用86篇文章[sw06353]
• Reo协调语言. Reo提供了一个范例。。。

• GHC公司

• 参考文献103篇[sw06691]
• 格拉斯哥-哈斯克尔编译器内联线的秘密。较高的。。。

• 二郎

• 引用113篇文章[sw07202]
• Erlang是一个编程语言用来建造。。。

• 托勒密

• 引用了78篇文章[sw07459]
• 托勒密的模块形式语义学。托勒密是。。。

• 班德拉

• 在134篇文章中引用[sw07663]
• 使用Bandera工具集进行模型检查。。。