• HOCL公司

  • 引用8篇文章[sw07078]
  • 概括的重集对于化学程序设计,伽马是一种编程模型,其中计算。。。形式化为结合的,交换的,条件的重写属于重集哪里重写规则和重集代表化学。。。各种编程示例。第一,重集概括起来包括重写成为一流的规则。。。化学程序设计语言HOCL。最后,重集通过允许元素。。。
  • 伦塔尔

  • 引用9篇文章[sw07312]
  • 基于层次图的简单语言模型重写它使用逻辑变量来表示连接性。。。尤其是那些解决并发性、移动性和多集 重写. 虽然LMNtal的主要目标。。。
  • 阔琪涅勒

  • 引用3篇文章[sw29246]
  • 正式建模时重写在Coq中,例如多集地位和平等模。。。
  • 伊莎贝尔

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

  • 在2917篇文章中引用[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 圣哲

  • 在1672篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 毫升

  • 引用516篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 资产

  • 引用4篇文章[sw02116]
  • 资产:数据关联的模拟试验台。。。
  • 旋转

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

  • 在140篇文章中引用[sw04599]
  • 定理证明系统支持交互式证明开发。。。
  • 莫德

  • 引用661篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。
  • GHC公司

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