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 /
Kaydedildi:
| Kurumsal yazarlar: | , |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Konferans Sunumu Kitap |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Berlin ; New York :
Springer-Verlag,
c1994.
|
| Seri Bilgileri: | Lecture notes in computer science ;
785. |
| Konular: |
İçindekiler:
- 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.