一个基于类型理论的自动程序设计系统

摘要

cqvip:本文提出了一个基于类型理论的自动程序设计系统。系统把用户定义的关于各种问题的代数说明做为深度知识构成系统的深度知识库。对用户提出的一个问题的规范说明,系统给出符合这一规范的“程序”做为回答。系统初步体现了软件形式化开发中的规范、构造和验证一体化。