share record
persistent URL:
Ricardo Pena , Luis M. Alonso : Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. TAPSOFT, Vol.2 1989 : 328-344 1988 share record
persistent URL:
David K. Probst , Hon Fung Li : Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations. IEEE Trans. Computers 37 (6 ) : 710-720 (1988 )share record
persistent URL:
Christoph Beierle , Udo Pletat : Integrating Logic Programming and Equational Specification of Abstract Data Types. ALP 1988 : 71-82 share record
persistent URL:
Y. Zhong , S. Ishizuka , R. Enari : Integrating abstract data types with object-oriented programming by specification-based approach. ICCL 1988 : 202-209 share record
persistent URL:
Christoph Beierle , Udo Pletat : Semantics of Logic Programs with Equational Abstract Data Type Specifications. LILOG-Report 38 (1988 )1987 share record
persistent URL:
Pankaj Jalote : Synthesizing Implementations of Abstract Data Types from Axiomatic Specifications. Softw. Pract. Exp. 17 (11 ) : 847-858 (1987 )share record
persistent URL:
Jacques Loeckx : Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types. ACM Trans. Program. Lang. Syst. 9 (4 ) : 646-685 (1987 )share record
persistent URL:
Irina A. Lomazova : Procedural Implementation of Algebraic Specifications of Abstract Data Types. FCT 1987 : 288-292 share record
persistent URL:
Bernd J. Krämer : SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems. ICSE 1987 : 116-125 share record
persistent URL:
Christoph Beierle , Angi Voß : On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. STACS 1987 : 245-259 share record
persistent URL:
S. Kaplan , Amir Pnueli : Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach. STACS 1987 : 220-244 share record
persistent URL:
Christoph Beierle , Angi Voß : Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. TAPSOFT, Vol.2 1987 : 320-334 share record
persistent URL:
Donald Sannella , Andrzej Tarlecki : Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers. Lecture Notes in Computer Science 332, Springer 1987 [contents] 1986 share record
persistent URL:
E. Wong , W. B. Samson : The Specification of a Relational Database (PRECI) as an Abstract Data Type and its Realisation in HOPE. Comput. J. 29 (3 ) : 261-268 (1986 )share record
persistent URL:
Martin Wirsing : Algebraic specification of the abstract data type "Continuum" without hidden operations. Bull. EATCS 29 : 46-54 (1986 )export record
dblp key:
journals/tse/BelkhoucheU86 share record
persistent URL:
Boumediene Belkhouche , Joseph E. Urban : Direct Implementation of Abstract Data Types from Abstract Specifications. IEEE Trans. Software Eng. 12 (5 ) : 649-661 (1986 )share record
persistent URL:
Vincenzo Manca : Specification of Abstract Data Types with Experiments. ADT 1986 share record
persistent URL:
Udo Pletat : Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction. ADT 1986 share record
persistent URL:
Giuseppe Scollo : On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. ADT 1986 share record
persistent URL:
David W. Stemple , Tim Sheard , Ralph E. Bunker : Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986 : 590-597 1985 share record
persistent URL:
Mark Steven Sherman : Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types. Lecture Notes in Computer Science 189, Springer 1985 , ISBN 3-540-15212-1 share record
persistent URL:
T. S. E. Maibaum : Database Instances, Abstract Data Types and Database Specification. Comput. J. 28 (2 ) : 154-161 (1985 )share record
persistent URL:
Manfred Broy , Andrzej Tarlecki : Algebraic specification of the abstract data type "Continuum". Bull. EATCS 26 : 32-35 (1985 )share record
persistent URL:
Werner Dilger , Wolfgang Womann : The METANET. A knowledge representation tool based on abstract data types. Mathematical Methods of Specification and Synthesis of Software Systems 1985 : 156-161 share record
persistent URL:
Jacques Loeckx : The algorithmic specification method of abstract data types: an overview. Mathematical Methods of Specification and Synthesis of Software Systems 1985 : 194-200 share record
persistent URL:
Hans-Jörg Kreowski : Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, Germany, November 13-16, 1984, Selected Papers. Informatik-Fachberichte 116, Springer 1985 , ISBN 3-540-16077-9 [contents] 1984 share record
persistent URL:
Werner Dilger , Wolfgang Womann : The METANET: A Means for the Specification of Semantic Networks as Abstract Data Types. Int. J. Man Mach. Stud. 21 (6 ) : 463-492 (1984 )share record
persistent URL:
Jean-Luc Rémy , Hantao Zhang : REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. ECAI 1984 : 373-382 share record
persistent URL:
David W. Stemple , Tim Sheard : Specification and Verification of Abstract Database Types. PODS 1984 : 248-257 1983 share record
persistent URL:
Alfs T. Berztiss , Satish Thatte : Specification and Implementation of Abstract Data Types. Adv. Comput. 22 : 295-353 (1983 )