Programatica项目中的Haskell工具

2003Haskell研讨会演示摘要通过托马斯·哈格伦

1.简介

Programatica项目的目标之一是开发工具支持高保证用Haskell编程。我们用语法扩展了Haskell属性断言，并设想各种技术的使用提供证据为了断言的有效性。我们期望我们的工具可以帮助程序员证据管理,使用证书记录证据，并提供任何实现定理使用所需的Haskell代码翻译证明人和其他可以作为证据来源的工具。

Programatica Tools虽然仍在运行中，但可以以各种方式操作Haskell程序，并对证据管理。在第2节中，我们描述了工具提供的功能，从可能Haskell程序员普遍感兴趣，并以功能更直接地旨在支持Programatica项目。第3节包含一些注释关于实施。