全部 标题 作者 关键词 摘要
, PP. 384-390
Keywords: 构造性类型理论,面向对象程序设计,程序自动化,软件自动化
Full-Text Cite this paper Add to My Lib
构造性类型理论可作为研究程序自动化的理论基础.本文根据一种支持面向对象计算的类型理论,探讨了面向对象程序自动化的途径.面向对象程序的程序单位是类,它是数据和一组相关操作的统一体,程序开发的关键在于开发这些操作,本文重点讨论了开发这些操作的方法.
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133