Executable specification formalism representing abstract data types

被引：0

|

作者：

Technical Univ of Budapest, Budapest, Hungary ^{[1
]}

机构：

来源：

Period Polytech Electr Eng | / 2卷 / 85-100期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] AN EXECUTABLE SPECIFICATION LANGUAGE FOR ABSTRACT DATA-TYPES
BELKHOUCHE, B
URBAN, JE
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (04): : 247 - 251
[2] ALGEBRAIC SPECIFICATION OF ABSTRACT DATA TYPES
GUTTAG, JV
HORNING, JJ
ACTA INFORMATICA, 1978, 10 (01) : 27 - 52
[3] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES
林惠民
Science China Mathematics, 1988, (08) : 1002 - 1010
[4] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES
林惠民
ScienceinChina,SerA., 1988, Ser.A.1988 (08) : 1002 - 1010
[5] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
BERZTISS, AT
THATTE, S
ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
[6] SPECIFICATION AND TESTING OF ABSTRACT-DATA-TYPES
JALOTE, P
COMPUTER LANGUAGES, 1992, 17 (01): : 75 - 82
[7] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES.
Lin, Huimin
Scientia sinica. Series A. Mathematical, physical, astronomical and technical sciences, 1988, 31 (08): : 1002 - 1010
[8] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA-TYPES
LIN, HM
SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1988, 31 (08): : 1002 - 1010
[9] A PRACTICAL EXAMPLE OF THE SPECIFICATION OF ABSTRACT DATA-TYPES
TOMPA, FW
ACTA INFORMATICA, 1980, 13 (03) : 205 - 224
[10] Learning about the algebraic specification of abstract data types
Segal, J
EMPIRICAL STUDIES OF PROGRAMMERS: SIXTH WORKSHOP, 1996, : 195 - 218

← 1 2 3 4 5 →