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 条

[31] MODULA-2 AS A BASIS FOR A SPECIFICATION, AND IMPLEMENTATION METHOD FOR ABSTRACT DATA-TYPES
REITENSPIESS, M
RUPPRECHT, G
ANGEWANDTE INFORMATIK, 1983, (05): : 206 - 212
[32] Modula-2 as a Basis for a Specification and Implementation Method for Abstract Data Types.
Reitenspiess, M.
Rupprecht, G.
1983, (25):
[33] 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 - +
[34] TOWARD A GENERAL-THEORY OF COMPUTATION AND SPECIFICATION OVER ABSTRACT-DATA-TYPES
TUCKER, JV
ZUCKER, JI
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 468 : 129 - 133
[35] UML for executable specification
Douglass, BP
EDN, 2001, 46 (18) : 83 - +
[36] ABSTRACT DATA TYPES
Laskov, Lasko M.
MATHEMATICS AND INFORMATICS, 2020, 63 (06): : 608 - 621
[37] Packet types: Abstract specification of network protocol messages
McCann, PJ
Chandra, S
ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2000, 30 (04) : 321 - 333
[38] Abstract Data Types without the Types
Wadler, Philip
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2017, 23 (01) : 5 - 20
[39] CoqJVM: An executable specification of the Java']Java Virtual Machine using dependent types
Atkey, Robert
TYPES FOR PROOFS AND PROGRAMS, 2008, 4941 : 18 - 32
[40] ABSTRACT SPECIFICATION OF SYNCHRONOUS DATA-TYPES FOR VLSI AND PROVING THE CORRECTNESS OF SYSTOLIC NETWORK IMPLEMENTATIONS
PROBST, DK
LI, HF
IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (06) : 710 - 720

← 1 2 3 4 5 →