• 精灵

  • 引用了43篇文章[sw21361号文件]
  • -语言. Elf是一种约束逻辑程序设计语言基于LF逻辑框架。。。集团公司。Elf是制服-语言用于指定、实现和证明属性。。。
  • 白鲸

  • 引用25篇文章[sw01321]
  • 对象语言里面有粘合剂-语言. 其中一个关键的好处是。。。
  • 勒托斯

  • 在10篇文章中引用[sw04987]
  • 语义必须用-语言,它本身就是米兰达的超集。。。
  • 引用5篇文章[sw09691]
  • 开发了烧瓶,一个特定领域语言嵌入Haskell带来的力量。。。将节点级代码与-语言用于生成节点级代码片段。。。
  • 卡里班

  • 引用2篇文章[sw24051]
  • 有一个定理证明者。这个应用程序语言,叫做Caliban,是懒惰的,高阶的,多态的。。。定理证明程序Clio提供了一个-语言为了对意义做出断言。。。满足是写在克利奥的-语言...
  • 羚羊

  • 引用2篇文章[sw24050]
  • 有一个定理证明者。这个应用程序语言,叫做Caliban,是懒惰的,高阶的,多态的。。。定理证明程序Clio提供了一个-语言为了对意义做出断言。。。满足是写在克利奥的-语言. 一个(子)程序通过使用。。。
  • 克利奥

  • 引用2篇文章[sw24049]
  • 定理证明程序Clio提供了一个-语言关于…的断言。。。满足是写在克利奥的-语言. 一个(子)程序通过使用。。。
  • 新霍普拉

  • 引用3篇文章[sw06992]
  • 名称生成。它的起源是-语言因为领域理论是草图。。。
  • 卡索斯

  • 引用3篇文章[sw13288]
  • 沟通结构的变化。新的-语言为了发展组织的互动模式。。。
  • 朋友+

  • 引用3篇文章[sw21366号文件]
  • 声称PAL+是正确的-语言用于指定类型理论(例如,从属类型。。。
  • 激活

  • 1条引用[sw02393]
  • 系统。XML是一种自描述的-语言并迅速成为主导标准。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • 熔融指数(' 语言'是一个通用函数。。。
  • 拉网++

  • 引用3篇文章[sw01433]
  • DrawNET++:模型对象以支持性能分析和。。。
  • 夏普

  • 在39篇文章中引用[sw03100]
  • 夏普(符号分层自动可靠性和性能评估器。。。
  • 莫德

  • 引用652篇文章[sw06233]
  • Maude是一种高性能反光材料语言还有。。。