albatross:信天翁语言编译器

【文件属性】：

文件名称：albatross:信天翁语言编译器

文件大小：506KB

文件格式：ZIP

更新时间：2024-06-10 23:34:40

OCaml

一般的 该存储库保存了Albatross编译器的源代码。 Albatross语言允许对程序进行静态验证（即正确性证明）。 信天翁（Albatross）编译器是校对助手，也是信天翁（Albatross）语言的编译器。 文献资料