• 数学杂志

  • 38篇参考文献[SW0553]
  • 象征性的证实数值算法。这种语言可以编译的并解释,它的特点…将说明提供的可能性证实球和区间的数值计算…
  • GC小调

  • 4篇参考文献[SW22622]
  • 证实框架编译执行垃圾回收语言。我们描述的设计,实现…机器证实正确的框架汇编在垃圾收集语言中执行程序…框架扩展勒鲁瓦的COQ证实汇编编译程序和C小亚尔中级语言…
  • CIAOPP

  • 40篇参考文献[SW120 89]
  • 不能完全检查的断言编译时间等抽象模型…在系统中使用分析器证明不可信的移动代码是安全的…
  • 模板辅料

  • 2篇参考文献[SW27 569]
  • 用于证书证实 编译程序项目[ 4 ],作为其前端语言,推导出…
  • 菲亚特

  • 14篇参考文献[ SW21357 ]
  • 菲亚特产生正式的证明痕迹证明合成程序符合原规范要求。等效的OCAM程序,可以编译的运行正常…
  • 雅加达

  • 18篇参考文献[SW01269]
  • 细化;雅加达证明器接口(JPI),A编译程序这将JSL规范转化为证明助手…这项工作的目标是证实字节码验证器的抽象…
  • 整数矩阵库

  • 14篇参考文献[SW0440]
  • 整数。IML设计为编译的与CBLAS图书馆(例如,阿特拉斯/ BLAS…整数矩阵的右零空间证实线性系统求解:计算最小分母解…
  • 聚焦

  • 8篇参考文献[SW1284]
  • 提供开发的编程环境证实程序环境是基于功能的…聚焦源代码开发编译程序产生三个源文件:源文件…
  • 基岩

  • 4篇参考文献[SW28 530]
  • 汇编语言的核心组合特性编译程序中间语言。从这个基础上,我们采取…语言:我们引入一个表达性的概念。证实低级宏,足以建立…这些宏的级别只强加了一个编译时间成本,通过执行功能…
  • 切片

  • 1篇参考文献[SW29 52]
  • 朝着证实切片。切片是一种应用广泛的技术。编译程序科技
  • MMTTEX

  • 2篇参考文献[SW31595]
  • 数学知识与后者的交流证明它的正确性。MMTTEX旨在结合…在新窗口中打开图像时的内容汇编用开放的图像代替它…
  • 辅酶Q

  • 1725篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • PHCPACK

  • 198篇参考文献[SW0705]
  • 算法795:PHCPACK:一个通用的求解器…
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。