• GHC公司

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

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

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

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

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

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

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

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

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

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

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