default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. COMPASS Workshop / 10. ADT 1994: S. Margherita, Italy
- Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki:
Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers. Lecture Notes in Computer Science 906, Springer 1995, ISBN 3-540-59132-X
Invited Papers
- Leo Bachmair, Harald Ganzinger, Jürgen Stuber:
Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings. 1-29 - Catriel Beeri:
Bulk Types and Query Language Design. 30-47 - José Meseguer, Narciso Martí-Oliet:
From Abstract Data Types to Logical Frameworks. 48-80 - Martin Wirsing:
Algebraic Specification Languages: An Overview. 81-115
Contributed Papers
- David Aspinall:
Types, Subtypes, and ASL+. 116-131 - Didier Bert, Rachid Echahed:
On the Operational Semantics of the Algebraic and Logic Programming Language LPG. 132-152 - Michel Bidoit, Rolf Hennicker:
Behavioural Theories. 153-169 - Manfred Broy:
Equations for Describing Dynamic Nets of Communicating Systems. 170-187 - Maura Cerioli
:
A Lazy Approach to Partial Algebras. 188-202 - Grit Denker:
Transactions in Object-Oriented Specifications. 203-218 - Hans-Dieter Ehrich, Amílcar Sernadas:
Local Specification of Distributed Families of Sequential Objects. 219-235 - Hartmut Ehrig, Michael Löwe, Fernando Orejas:
Dynamic Abstract Data Types Based on Algebraic Graph Transformations. 236-254 - Maribel Fernández, Jean-Pierre Jouannaud:
Modular Termination of Term Rewriting Systems Revisited. 255-272 - José Luiz Fiadeiro, José Félix Costa:
Institutions for Behaviour Specification. 273-289 - Martin Gogolla, Rudolf Herzig:
An Algebraic Semantics for the Object Specification Language TROLL light. 290-396 - Ulrich Hensel, Horst Reichel:
Defining Equations in Terminal Coalgebras. 307-318 - Claus Hintermeier, Claude Kirchner, Hélène Kirchner:
Sort Inheritance for Order-Sorted Equational Presentations. 319-335 - Heinrich Hußmann:
Axiomatic Specification of Large Information Systems: Experiences and Consequences. 336-350 - Ulrike Lechner, Christian Lengauer, Martin Wirsing:
An Object-Oriented Airport: Specification and Refinement in Maude. 351-367 - Karl Meinke:
Topological Methods for Algebraic Specification. 368-388 - Till Mossakowski:
A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. 389-405 - Francesco Parisi-Presicce, Alfonso Pierantonio:
Dynamical Behavior of Object Systems. 406-419 - Amílcar Sernadas, Cristina Sernadas, José Manuel Valença:
A Theory-based Typological Notion of Institutions. 420-436 - Judith L. Underwood:
Typing Abstract Data Types. 437-452 - Michal Walicki, Sigurd Meldal:
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. 453-468 - Uwe Wolter:
Institutional Frames. 469-482 - Elena Zucca:
Implementation of Data Structures in an Imperative Framework. 483-498 - Martin Gogolla, Maura Cerioli:
What is an Abstract Data Type, after all? 499-523
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-11-21 20:34 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:
