×
Jalote，潘卡杰

综合公理规范中抽象数据类型的实现。 （英语） Zbl 0624.68026号

软质。，实际。专家。 17, 847-858 (1987).

MSC公司：

68第05页 数据结构

关键词：

C类;直接实施;快速原型制作

软件：

模拟67;阿达95
PDF格式BibTeX公司 XML格式引用
\textit{P.Jalote}，软。，实际。专家。17、847--858（1987年；Zbl 0624.68026）
全文： 内政部

参考文献：

[1] 利斯科夫，IEEE Trans。软件工程SE-1第7页–（1975年）·doi:10.10109/TTS.1975.6312816
[2] IEEE Trans.凯默勒。软件工程SE-11第32页–（1985）
[3] 以及SIMULA 67通用基本语言，挪威计算中心，奥斯陆，S-221970年出版。
[4] Liskov，Comm.ACM 20 pp 564–（1977年）
[5] 《ADA编程语言参考手册》，美国国防部，施普林格-弗拉格出版社，1983年。
[6] Guttag，Acta Inf.10第27页–（1978年）·Zbl 0369.68010号 ·doi:10.1007/BF00260922
[7] Guttag，IEEE传输。软件工程SE-6第13页–（1980）
[8] Gehani，《软件实践与经验》，第12页，第433页，（1982年）
[9] Guttag，Comm.ACM 21第1048页–（1978年）
[10] 穆瑟，IEEE Trans。软件工程SE-6第24页–（1980）
[11] Guttag，Comm.ACM 20第307页–（1977年）
[12] 甘农，ACM Trans。编程语言和系统3第211页–（1981）
[13] Balzer，IEEE Trans.公司。软件工程SE-11 pp 1257–（1985）
[14] Zave，IEEE Trans.公司。软件工程SE-12第312页–（1986）·doi:10.1109/TSE.1986.6312946
[15] 以及，“OBJ简介：一种用于编写和测试正式代数程序规范的语言”，Proc。《可靠软件规范》，1979年，第170-189页。
[16] Belkhouche，IEEE Trans。软件工程SE-12第649页–（1986）·doi:10.1109/TSE.1986.6312960
[17] 沃尔夫，IEEE Trans。软件工程SE-2第253页–（1976）
[18] 和，“泛代数中的简单单词问题”，摘自（编辑）抽象代数中的计算问题，佩加蒙，纽约，1970年，第263-297页·doi:10.1016/B978-0-08-012975-4.50028-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。