首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 用价值功能语言调用正确的程序

用价值功能语言调用正确的程序

资 源 简 介

Overview The Pangolin programming language is a functional language. In this language, the programmer can write logic assertions about the computed values. These assertions are proven statically, which ensures that the program is correct with respect to its specification. Installation Requirements To compile Pangolin, you need: * the latest Objective Caml compiler, ocaml-3.10. * the latest version of menhir (tarball). * the latest version of alphaCaml (tarball). To handle proof obligations, Pangolin uses: * the latest version of Ergo. * optionally the latest version of Simplify <

文 件 列 表

pangolin-0.1delta
doc
admin
check-ocaml-version.ml
_tags
AUTHORS
LICENSE
src
lib
configure
Makefile
myocamlbuild.ml

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
  • 11 3小时前 成为了本站会员

  • 开心快活人 6小时前 成为了本站会员

  • 晋财 6小时前 成为了本站会员

  • WYG 1天前 成为了本站会员

  • Shine 1天前 成为了本站会员

  • 柳贻 1天前 成为了本站会员

  • hallelujah_HL 1天前 成为了本站会员

  • 焦昱贺 1天前 成为了本站会员

  • Rubin 1天前 成为了本站会员

  • Li 2天前 成为了本站会员

0.201207s