阿里·范·德森;莱昂·穆南 使用类型记录软件系统。 （英语） Zbl 1092.68569号 科学。计算。程序。 60，第2期，205-220（2006）. 摘要：我们展示了基于超文本的程序理解工具如何通过在主题软件系统是用弱类型语言编写的情况下使用推断的类型信息来实现新的抽象级别。我们建议使用TypeExplorer，这是一种基于这些类型浏览Cobol遗留系统的工具。本文论述了（1）类型，一种发明的抽象，如何能够对软件再工程有意义地表示；（2） 用于构造TypeExplorer的实现技术；以及（3）使用TypeExplorer来理解遗留系统，无论是在单个语句层面还是在软件体系结构层面，这可以通过使用TypeExplorer浏览一个包含100000行代码的工业Cobol系统来说明。 MSC公司： 68N99型 软件理论 关键词：软件维护;软件探索;程序理解;程序分析;类型推断;文档生成;可变用途;超文本 软件：拉克威特;COBOL公司;类型资源管理器 PDF格式BibTeX公司 XML格式引用 \textit｛A.Van Deursen｝和\textit｛L.Moonen｝，科学。计算。程序。60，第2号，205--220（2006；Zbl 1092.68569） 全文： 内政部