Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992.
The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.
Author(s): Joseph A. Goguen, Razvan Diaconescu (auth.), Hartmut Ehrig, Fernando Orejas (eds.)
Series: Lecture Notes in Computer Science 785
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 356
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs
Towards an algebraic semantics for the object paradigm....Pages 1-29
Rewriting techniques for software engineering....Pages 30-52
Identity and existence, and types in algebra....Pages 53-78
Overloading and inheritance....Pages 79-97
A SMoLCS based kit for defining high-level algebraic Petri nets....Pages 98-112
Institutions for very abstract specifications....Pages 113-127
About the “correctness” and “adequacy” of PLUSS specifications....Pages 128-143
Semantic constructions in the specification language Glider....Pages 144-157
On certification of specifications for TROLL light objects....Pages 158-172
Translating TROLL light concepts to Maude....Pages 173-187
Algebraic high level nets....Pages 188-206
2-Categorical specification of partial algebras....Pages 207-219
A behavioural algebraic framework for modular system design with reuse....Pages 220-234
On fibred adjunctions and completeness for fibred categories....Pages 235-251
Implementing inequality and nondeterministic specifications with bi-rewriting systems....Pages 252-267
A semantic basis for logic-independent transformation....Pages 268-279
Unified algebras and abstract syntax....Pages 280-294
Structured inheritance for algebraic class specifications....Pages 295-309
Towards a theory for the animation of algebraic specifications....Pages 310-320
Second-order proof systems for algebraic specification languages....Pages 321-336
An institution of object behaviour....Pages 337-350
