• GHC公司

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

• GRL公司

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

• 可口可乐

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

• 伊莎贝尔

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

• 地图还原

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

• 伊莎贝尔/霍尔

• 参考第945条[sw01569]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• StreamIt公司

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

• 库达

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

• 哈斯克尔

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

• 艾菲尔

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

• 努西姆

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

• 米本奇

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

• AspectJ公司

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

• 雷奥

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

• GHC公司

• 在102篇文章中引用[sw06691]
• 格拉斯哥-哈斯克尔编译器内联线的秘密。较高的。。。

• 托勒密

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

• 班德拉

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

• 苜蓿

• 引用3篇文章[sw09414]
• 紫花苜蓿：超立方体多处理机上的分布图归约。。。

• Globus工具箱

• 引用175篇文章[sw09648]
• 开源Globus®工具包是一个基本的。。。

• 弗兰特克

• 参考6篇文章[sw13065号]
• FranTk——一个声明性GUI语言为了哈斯凯尔。弗兰特。。。