期刊文章详细信息
一种面向对象程序自动化方法的研究 ( EI收录)
AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY
文献类型：期刊文章
机构地区：[1]吉林大学计算机系 [2]吉林工业大学计算机系
基 金：国家自然科学基金;国家"九五"攻关项目;国家863高科技项目基金
年 份：1997
卷 号：8
期 号：5
起止页码：384-390
语 种：中文
收录情况：AJ、BDHX、BDHX1996、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊
摘 要：构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作。
关 键 词：面向对象 程序设计 程序自动化 软件自动化
分 类 号：TP311]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
