数学物理学报(英文版) ›› 1992, Vol. 12 ›› Issue (3): 355-360.
• 论文 • 上一篇
李中章1, 李传湘2, 黄汉飞2
Li Zhongzhang1, Li Chuanxiang2, Wang Hanfei2
摘要: 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.