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 条
  • [41] SPECIFICATION BY DATA-TYPES
    ANAIRCHINNIGH, MM
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 362 - 388
  • [42] EXECUTABLE SPECIFICATION OF STATIC SEMANTICS
    DESPEYROUX, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 215 - 233
  • [43] Abstract Data Types.
    Zoller, P.
    Angewandte Informatik/Applied Informatics, 1981, 23 (10): : 429 - 431
  • [44] ABSTRACT-DATA-TYPES
    BENTLEY, J
    GRIES, OD
    COMMUNICATIONS OF THE ACM, 1987, 30 (04) : 284 - 290
  • [45] Distributed abstract data types
    Picco, Gian Pietro
    Migliavacca, Matteo
    Murphy, Amy L.
    Roman, Gruia-Catalin
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: COOPIS, DOA, GADA, AND ODBASE PT 2, PROCEEDINGS, 2006, 4276 : 1594 - 1612
  • [46] Programs are abstract data types
    Erwig, M
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 400 - 403
  • [47] Executable protocol specification in ESL
    Clarke, E
    German, S
    Lu, Y
    Veith, H
    Wang, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2000, 1954 : 197 - 216
  • [48] A logic for abstract data types as existential types
    Poll, E
    Zwanenburg, J
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 310 - 324
  • [49] ABSTRACT DATA TYPE SPECIFICATION IN THE AFFIRM SYSTEM
    MUSSER, DR
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (01) : 24 - 32
  • [50] The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers
    Maley, D
    Kilpatrick, PL
    Schreiner, EW
    Scott, NS
    Diercksen, GHF
    COMPUTER PHYSICS COMMUNICATIONS, 1996, 98 (1-2) : 167 - 180
12345