基于类型理论的继承机制的研究
기우류형이론적계승궤제적연구
AN INHERITANCE MECHANISM WITH TYPE THEORY
  • 万方数据
    计算机学报 계산궤학보
    CHINESE JOURNAL OF COMPUTERS
    1998年 z1期 163-170 ,共8页

    全炳哲%金淳兆%玄顺姬

    전병철%금순조%현순희

    继承%面向对象程序设计%构造性类型理论%程序自动化 繼承%麵嚮對象程序設計%構造性類型理論%程序自動化
    계승%면향대상정서설계%구조성류형이론%정서자동화
    本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制,认为类是类规约类型的元素,而且类也是一种类型,继承是类规约和程序开发过程的重用机制.本文提出的理论可用于面向对象程序自动化的研究.
    본문제출료기우구조성류형이론적일충면향대상류형이론중적계승궤제,인위류시류규약류형적원소,이차류야시일충류형,계승시류규약화정서개발과정적중용궤제.본문제출적이론가용우면향대상정서자동화적연구.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문