Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers /
Bewaard in:
| Coauteurs: | , |
|---|---|
| Andere auteurs: | , |
| Formaat: | Conferentie akten Boek |
| Taal: | English |
| Gepubliceerd in: |
Berlin ; New York :
Springer-Verlag,
c1994.
|
| Reeks: | Lecture notes in computer science ;
785. |
| Onderwerpen: |
Inhoudsopgave:
- Towards an algebraic semantics for the object paradigm / J. A. Goguen and R. Diaconescu
- Rewriting techniques for software engineering / J.-P. Jouannaud
- Identity and existence, and types in algebra - A survey of sorts / A. Poigne
- Overloading and inheritance / E. G. Wagner
- A SMoLCS based kit for defining high-level algebraic Petri nets / M. Bettaz and G. Reggio
- Institutions for very abstract specifications / M. Cerioli and G. Reggio
- About the "correctness" and "adequacy" of PLUSS specifications / C. Choppy
- Semantic constructions in the specification language Glider / S. Clerici, R. Jimenez and F. Orejas
- On certification of specifications for TROLL light objects / S. Conrad
- Translating TROLL light concepts to MAUDE / G. Denker and M. Gogolla
- Algebraic high level nets: Petri nets revisited / H. Ehrig, J. Padberg and L. Ribeiro
- 2-categorical specification of partial algebras / M. Grosse-Rhode and U. Wolter.
- A behavioural algebraic framework for modular system design with reuse / R. Hennicker and F. Nickl
- On fibred adjunctions and completeness for fibred categories / C. Hermida
- Implementing inequality and nondeterministic specifications with bi-rewriting systems / J. Levy and J. Agustf
- A semantic basis of logic-independent transformation / J. Liu
- Unified algebras and abstract syntax / P. D. Mosses
- Structured inheritance for algebraic class specifications / F. Parisi Presicce and A. Pierantonio
- Towards a theory for the animation of algebraic specification / C. Rieckhoff
- Second-order proof systems for algebraic specification languages / P.-Y. Schobbens
- An institution of object behaviour / A. Sernadas, J. F. Costa and C. Sernadas.