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 条

[21] THE METANET - A MEANS FOR THE SPECIFICATION OF SEMANTIC NETWORKS AS ABSTRACT DATA-TYPES
DILGER, W
WOMANN, W
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1984, 21 (06): : 463 - 492
[22] 2 IMPOSSIBILITY THEOREMS ON BEHAVIOR SPECIFICATION OF ABSTRACT-DATA-TYPES
SCHOETT, O
ACTA INFORMATICA, 1992, 29 (6-7) : 595 - 621
[23] Specification of abstract dynamic-data types: A temporal logic approach
Costa, G
Reggio, G
THEORETICAL COMPUTER SCIENCE, 1997, 173 (02) : 513 - 554
[24] EQUATIONAL SPECIFICATION OF ABSTRACT TYPES AND COMBINATORS
MEINKE, K
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 257 - 271
[25] METHODICAL SPECIFICATION OF ABSTRACT DATA-TYPES VIA REWRITING-SYSTEMS
VELOSO, PAS
INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1982, 11 (05): : 295 - 323
[26] SPECIFICATION AND VERIFICATION OF TCSP SYSTEMS BY MEANS OF PARTIAL ABSTRACT DATA-TYPES
PENA, R
ALONSO, LM
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 328 - 344
[27] THE FORMAL SPECIFICATION OF ABSTRACT-DATA-TYPES AND THEIR IMPLEMENTATION IN FORTRAN-90
SCOTT, NS
KILPATRICK, PL
MALEY, D
COMPUTER PHYSICS COMMUNICATIONS, 1994, 84 (1-3) : 201 - 225
[28] NUSL - AN EXECUTABLE SPECIFICATION LANGUAGE BASED ON DATA ABSTRACTION
JIANG, XJ
XU, YS
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 124 - 138
[29] ABSTRACT OBJECT TYPES =ABSTRACT KNOWLEDGE TYPES+ABSTRACT DATA TYPES+ABSTRACT CONNECTOR TYPES
PARK, HS
JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1991, 4 (03): : 37 - &
[30] An Executable Specification for SPARQL
Bornea, Mihaela
Dolby, Julian
Fokoue, Achille
Kementsietsidis, Anastasios
Srinivas, Kavitha
Vaziri, Mandana
WEB INFORMATION SYSTEMS ENGINEERING - WISE 2016, PT II, 2016, 10042 : 298 - 305

← 1 2 3 4 5 →