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

【Abstract】 This paper proposes an automatic programming system based on Martin-l(?)f’s TypeTheory Algebraic specifications about problems are taken as depth knowledge in the system and thedepth knowledgebase of the system is constructed.For a specification of a problem proposed by theuser to the system.the system gives a program satisfying the specification as an answer.The systemrealizes initially the integration of the specification.construction and verification in software formaldevelopment.更多还原