default search action
4. COMPASS Workshop / 9. ADT 1992: Caldes de Malavella, Spain
- Hartmut Ehrig:
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. Lecture Notes in Computer Science 785, Springer 1994, ISBN 3-540-57867-6 - Joseph A. Goguen, Razvan Diaconescu:
Towards an Algebraic Semantics for the Object Paradigm. 1-29 - Jean-Pierre Jouannaud:
Rewriting Techniques for Software Engineering. 30-52 - Axel Poigné:
Identity and Existence, and Types in Algebra - A Survey of Sorts. 53-78 - Eric G. Wagner:
Overloading and Inheritance. 79-97 - Mohamed Bettaz, Gianna Reggio:
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. 98-112 - Maura Cerioli
, Gianna Reggio:
Institutions for Very Abstract Specifications. 113-127 - Christine Choppy:
About the Correctness and Adequacy of PLUSS Specifications. 128-143 - Silvia Clerici, Rosa M. Jiménez, Fernando Orejas:
Semantic Constructions in the Specification Language GLIDER. 144-157 - Stefan Conrad:
On Certification of Specifications for TROLL light Objects. 158-172 - Grit Denker, Martin Gogolla:
Translating TROLL light Concepts to Maude. 173-187 - Hartmut Ehrig, Julia Padberg, Leila Ribeiro:
Algebraic High-Level Nets: Petri Nets Revisited. 188-206 - Martin Große-Rhode, Uwe Wolter:
Two-Categorical Specification of Partial Algebras. 207-219 - Rolf Hennicker, Friederike Nickl:
A Behavioural Algebraic Framework for Modular System Design with Reuse. 220-234 - Claudio Hermida:
On Fibred Adjunctions and Completeness for Fibred Categories. 235-251 - Jordi Levy, Jaume Agustí-Cullell:
Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems. 252-267 - Junbo Liu:
A Semantic Basis of Logic-Independent Transformation. 268-279 - Peter D. Mosses
Unified Algebras and Abstract Syntax. 280-294 - Francesco Parisi-Presicce, Alfonso Pierantonio:
Structured Inheritance for Algebraic Class Specifications. 295-309 - Catharina Rieckhoff:
Towards a Theory for the Animation of Algebraic Specification. 310-320 - Pierre-Yves Schobbens
Second-Order Proof Systems for Algebraic Specification Languages. 321-336 - Amílcar Sernadas, José Félix Costa, Cristina Sernadas:
An Institution of Object Behaviour. 337-351
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-18 18:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: