• GHC公司

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

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

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

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

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

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

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

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

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

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

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