SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES

被引：5
|
作者：
BERZTISS, AT
THATTE, S
机构：
来源：
ADVANCES IN COMPUTERS | 1983年 / 22卷
关键词：
D O I：
10.1016/S0065-2458(08)60131-X
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：295 / 353
页数：59
相关论文
共 50 条
  • [21] METHODICAL SPECIFICATION OF ABSTRACT DATA-TYPES VIA REWRITING-SYSTEMS
    VELOSO, PAS
    INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1982, 11 (05): : 295 - 323
  • [22] SPECIFICATION OF PARAMETRIC DATA-TYPES
    BENECKE, K
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (01): : 83 - 96
  • [23] FINAL DATA-TYPES AND THEIR SPECIFICATION
    KAMIN, S
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (01): : 97 - 121
  • [24] ON HIERARCHIES OF ABSTRACT DATA-TYPES
    WIRSING, M
    PEPPER, P
    PARTSCH, H
    DOSCH, W
    BROY, M
    ACTA INFORMATICA, 1983, 20 (01) : 1 - 33
  • [25] FORMAL SPECIFICATION OF GRAPHIC DATA-TYPES
    MALLGREN, WR
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04): : 687 - 710
  • [26] Mining Abstract XML Data-Types
    Athanasopoulos, Dionysis
    Zarras, Apostolos
    ACM TRANSACTIONS ON THE WEB, 2019, 13 (01)
  • [27] NONDETERMINISTIC MODELS OF ABSTRACT DATA-TYPES
    LESCANNE, P
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (03): : 225 - 244
  • [28] THE ALGEBRAIC SPECIFICATION OF SEMICOMPUTABLE DATA-TYPES
    VRANCKEN, JLM
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 249 - 259
  • [29] ON THE ALGEBRAIC EXTENSIONS OF ABSTRACT DATA-TYPES
    BROY, M
    WIRSING, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 244 - 251
  • [30] A RELATIONAL MODEL FOR THE SPECIFICATION OF DATA-TYPES
    BOUDRIGA, N
    MILI, A
    ZALILA, R
    MILI, F
    COMPUTER LANGUAGES, 1992, 17 (02): : 101 - 131
12345