数学物理学报(英文版) ›› 1992, Vol. 12 ›› Issue (3): 355-360.

• 论文 • 上一篇    

SOME PROBLEMS IN PARTIAL ABSTRACT DATA TYPE

李中章1, 李传湘2, 黄汉飞2   

  1. 1. Dept. of Comp., Wuhan University, Wuhan 430071;
    2. Dept. of Comp., Wuhan Inst. of Hydrulic & Electric Engineering, Wuhan, 430071, China
  • 收稿日期:1991-12-22 出版日期:1992-09-25 发布日期:1992-09-25
  • 基金资助:
    The Project supported by National Natural Science Foundation of China.

SOME PROBLEMS IN PARTIAL ABSTRACT DATA TYPE

Li Zhongzhang1, Li Chuanxiang2, Wang Hanfei2   

  1. 1. Dept. of Comp., Wuhan University, Wuhan 430071;
    2. Dept. of Comp., Wuhan Inst. of Hydrulic & Electric Engineering, Wuhan, 430071, China
  • Received:1991-12-22 Online:1992-09-25 Published:1992-09-25
  • Supported by:
    The Project supported by National Natural Science Foundation of China.

摘要: In this paper, we discuss some characteristic properties of partial abstract data type (PADT) and show the diffrence between PADT and abstract data type (ADT) in specification of programming language. Finally, we clarify that PADT is necessary in programming language description.

Abstract: In this paper, we discuss some characteristic properties of partial abstract data type (PADT) and show the diffrence between PADT and abstract data type (ADT) in specification of programming language. Finally, we clarify that PADT is necessary in programming language description.