• 混乱

  • 参考7篇文章[sw09052]
  • 最小模型语义学至少,a固定点 语义学还有一次行动语义学介绍了他们的。。。
  • 普林尼

  • 1条引用[sw09902]
  • 句法,模型论语义学,和固定点 语义学为普林尼规则,并展示如何普林尼规则。。。
  • HR-SQL

  • 1条引用[sw32283号]
  • 分层语言建立在固定点 语义学基于逻辑编程技术。我们包括。。。
  • 达夫尼

  • 引用64篇文章[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • 第页

  • 引用19篇文章[sw00669]
  • PAG——一种高效的程序分析器生成器。整齐。。。
  • 毫升

  • 引用512篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 阿萨德

  • 在168篇文章中引用[sw02524]
  • ASSAT(由SAT解算器提供的答案集)是。。。
  • 旋转

  • 参考文献708篇[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • PVS公司

  • 引用609篇文章[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • 沉香

  • 引用1168篇文章[sw04002]
  • SeDuMi是一个求解优化问题的Matlab工具箱。。。
  • SDPT3型

  • 引用608篇文章[sw04009]
  • 该软件是为解决圆锥曲线编程而设计的。。。
  • UCI毫升

  • 在3021篇文章中引用[sw04074]
  • 加州大学欧文机器学习知识库。我们目前维持。。。