• Article
  • | |
  • Metrics
  • |
  • Reference [1]
  • |
  • Related [20]
  • |
  • Cited by [3]
  • | |
  • Comments
    Abstract:

    A constructive type theory may be used as a theoretical foundation to study automatic programming. This paper, using a type theory which supports object oriented computation, discusses an approach of object oriented automatic programming. The program unit of an object oriented program is class, encapsulating data and a group of related operations. The key problem of the program development is to implement these operations, and it is the main concern of this paper.

    Reference
    1 国家自然科学基金会.计算机科学学术.北京:科学出版社,1994. 2 Manna Z·Waldinger R.A deductive approach to program synthesis.ACM Trans.on Programming Language and Systems,1980,2(1):90~121. 3 Manna Z,Waldinger R.Fundamentals of deductive program synthesis.IEEE Trans.on Software Engineering. 1992,18(8):674~704. 4 Galmiche D.Program development in constructive type theory.Theoretical Computer Science,1992,94:237~259. 5 Lu Jianguo,Xu Jiafu.Analogical program derivation based on type theory.Theoretical Computer Science,1993, 113:259~272. 6 Zhu Mingyuan.Program transformation in constructive type theory.ACM SIGPLAN Notices,1 995,30(1):11~ 19. 7 Constable R L.Implementing mathematics with the nuprl proof development system.Prentice-Hall,Inc.,1986. 8 全炳哲.基于类型理论的面向对象程序设计的研究[博士论文].吉林大学,1996. 9 Thompson S.Type theory and functional programming.Addison-Wesley Publishing Company Inc..1991. 10 Nordstrom B,Petersson K,Smith J M.Programming in Martin-LSf'S type theory.Oxford:Clarendon Press, 1990.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

全炳哲,金淳兆,玄顺姬.一种面向对象程序自动化方法的研究.软件学报,1997,8(5):384-390

Copy
Share
Article Metrics
  • Abstract:3671
  • PDF: 4557
  • HTML: 0
  • Cited by: 0
History
  • Revised:June 10,1996
You are the first2032791Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063