ABSTRACT DATA TYPE SPECIFICATION IN THE AFFIRM SYSTEM

被引：38

|

作者：

MUSSER, DR

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1980年 / 6卷 / 01期

关键词：

D O I：

10.1109/TSE.1980.230459

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：24 / 32

页数：9

相关论文

共 50 条

[1] Observability concepts in abstract data type specification, 30 years later
Sannella, Donald
Tarlecki, Andrzej
CONCURRENCY, GRAPHS AND MODELS: ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY, 2008, 5065 : 593 - +
[2] AN ALGORITHM TO RECOGNIZE SUFFICIENT COMPLETENESS OF ALGEBRAIC SPECIFICATION OF AN ABSTRACT DATA TYPE
KUCHEROV, GA
PROGRAMMING AND COMPUTER SOFTWARE, 1984, 10 (04) : 161 - 168
[3] SPECIFICATION AND IMPLEMENTATION OF CONCURRENTLY ACCESSED DATA-STRUCTURES - AN ABSTRACT DATA TYPE APPROACH
KAPLAN, S
PNUELI, A
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 220 - 244
[4] ALGEBRAIC SPECIFICATION OF ABSTRACT DATA TYPES
GUTTAG, JV
HORNING, JJ
ACTA INFORMATICA, 1978, 10 (01) : 27 - 52
[5] THE SPECIFICATION OF A RELATIONAL DATABASE (PRECI) AS AN ABSTRACT DATA TYPE AND ITS REALIZATION IN HOPE
WONG, E
SAMSON, WB
COMPUTER JOURNAL, 1986, 29 (03): : 261 - 268
[6] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
BERZTISS, AT
THATTE, S
ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
[7] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES
林惠民
Science China Mathematics, 1988, (08) : 1002 - 1010
[8] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES
林惠民
ScienceinChina,SerA., 1988, Ser.A.1988 (08) : 1002 - 1010
[9] SPECIFICATION AND TESTING OF ABSTRACT-DATA-TYPES
JALOTE, P
COMPUTER LANGUAGES, 1992, 17 (01): : 75 - 82
[10] A LANGUAGE USING TYPE HIERARCHIES FOR THE SPECIFICATION, IMPLEMENTATION AND SELECTION OF ABSTRACT DATA-TYPES
SHERMAN, MS
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 189 : 6 - +

← 1 2 3 4 5 →