LPdoc公司 swMATH ID: 44098 软件作者： M.V.Hermenegildo、J.Morales。 描述： lpdoc文档生成器：（C）LP系统的自动文档生成器。lpdoc从逻辑程序（包括ISO-Prolog、Ciao和其他CLP系统）的一个或多个源文件自动生成参考手册。它对于记录库模块特别有用，它会自动生成模块接口的描述。然而，lpdoc也可以成功地用于记录完整的应用程序，并生成格式良好的普通ascii“自述文件”。使用lpdoc编写程序文档的一个基本优点是，它更容易维护程序与其文档之间的真正对应关系，并准确识别给定的打印手册对应的程序版本 主页： http://ciao-lang.org/ciao/build/doc/lpdoc.html/ 源代码： https://github.com/ciao-lang/lpdoc 关键词： 增量静态分析;验证;断言;通用代码;规范;抽象解释;Horn子句;逻辑程序 相关软件： 去;XSB公司;哈斯克尔 引用于： 1文件 3位作者引用 1 伊莎贝尔·加西亚·孔特雷拉斯 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 何塞·弗朗西斯科·莫拉莱斯 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文