【基於类型理论的面向对像程序设计的研究】全炳哲.pdf
单位代码:10183 学号:920602 -75-13 吉林大学博士学位论文 基于类型理论的面向对象
致谢 作者衷心地感谢导师金淳兆教授和刘叙华教授。多年来在金 淳兆教授的悉心指导和严格要求下,作者在业务水平上有了很大的 提高。金老师严谨的治学态度和对问题的敏锐洞察力堪为作者永远 所追求。四年前是刘叙华教授给了作者这难得的学习和深造的机 会,并在攻博期间给予作者许多有益的建议.作者感谢孙吉贵博士百忙中与作者讨论了数理逻辑上的一些 问题。
Abstract Automatingsoftwaredevclopmentis oneofthemaintarget of softwarecngineeringand theformalization isapremise of the software automation.Constructive typetheoryisapro- gram logic.It provides a good theoretical basis for programming method and automatic pro- gramming.