Recent Trends in Data Type Specification

1. Front Matter

   PDF

2. Algebraic specification of concurrency

   • Egidio Astesiano, Gianna Reggio

   Pages 1-39

3. Objects and their specification

   • Hans-Dieter Ehrich, Martin Gogolla, Amilcar Sernadas

   Pages 40-65

4. The use of sorts in algebraic specifications

   • Peter D. Mosses

   Pages 66-91

5. Implementation and behavioural equivalence: A survey

   • Fernando Orejas, Marisa Navarro, Ana Sánchez

   Pages 93-125

6. Relationships between logical frameworks

   • Egidio Astesiano, Maura Cerioli

   Pages 126-143

7. Label algebras: A systematic use of terms

   • Gilles Bernot, Pascale Le Gall

   Pages 144-163

8. How to specify non determinism and true concurrency with algebraic term nets

   • Mohamed Bettaz, Mourad Maouche

   Pages 164-180

9. Bounded implementation of algebraic specifications

   • Michael Breu

   Pages 181-198

10. New concepts of amalgamation and extension for a general theory of specifications

    • Hartmut Ehrig, Michael Baldamus, Fernando Orejas

    Pages 199-221

11. Nonequivalence of categories for equational algebraic specifications

    • H. Ehrig, F. Parisi-Presicce

    Pages 222-235

12. Process semantics of temporal logic specification

    • J. L. Fiadeiro, J. F. Costa, A. Sernadas, T. S. E. Maibaum

    Pages 236-253

13. The object-based specification language Π: concepts, syntax, and semantics

    • Peter Gabriel

    Pages 254-270

14. Specifications with observable formulae and observational satisfaction relation

    • Teodor Knapik

    Pages 271-291

15. Event logic for specifying abstract dynamic data types

    • Gianna Reggio

    Pages 292-309

16. A soft stairway to institutions

    • Antonino Salibra, Giuseppe Scollo

    Pages 310-329

17. Generic classes in an object-based language

    • Eric G. Wagner

    Pages 330-344

18. Back Matter

    PDF

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.

• Abstract Implementations
• Abstrakte Implementierungen
• Data Type Specification
• Datentypen-Spezifikation
• Object-Oriented Specifications
• Objektorientierte Spezifikationen
• Program Development
• Specification Languages
• Spezifikationss
• concurrency
• design
• semantics
• theorem proving

Policies and ethics