5. COMPASS Workshop / 10. ADT 1994: S. Margherita, Italy

Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (Eds.): 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 BibTeX

@proceedings{DBLP:conf/compass/1994,
  editor    = {Egidio Astesiano and
               Gianna Reggio and
               Andrzej Tarlecki},
  title     = {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},
  booktitle = {COMPASS/ADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {906},
  year      = {1995},
  isbn      = {3-540-59132-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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 BibTeX
Catriel Beeri: Bulk Types and Query Language Design. 30-47 BibTeX
José Meseguer, Narciso Martí-Oliet: From Abstract Data Types to Logical Frameworks. 48-80 BibTeX
Martin Wirsing: Algebraic Specification Languages: An Overview. 81-115 BibTeX

Contributed Papers

David Aspinall: Types, Subtypes, and ASL+. 116-131 BibTeX
Didier Bert, Rachid Echahed: On the Operational Semantics of the Algebraic and Logic Programming Language LPG. 132-152 BibTeX
Michel Bidoit, Rolf Hennicker: Behavioural Theories. 153-169 BibTeX
Manfred Broy: Equations for Describing Dynamic Nets of Communicating Systems. 170-187 BibTeX
Maura Cerioli: A Lazy Approach to Partial Algebras. 188-202 BibTeX
Grit Denker: Transactions in Object-Oriented Specifications. 203-218 BibTeX
Hans-Dieter Ehrich, Amílcar Sernadas: Local Specification of Distributed Families of Sequential Objects. 219-235 BibTeX
Hartmut Ehrig, Michael Löwe, Fernando Orejas: Dynamic Abstract Data Types Based on Algebraic Graph Transformations. 236-254 BibTeX
Maribel Fernández, Jean-Pierre Jouannaud: Modular Termination of Term Rewriting Systems Revisited. 255-272 BibTeX
José Luiz Fiadeiro, José Félix Costa: Institutions for Behaviour Specification. 273-289 BibTeX
Martin Gogolla, Rudolf Herzig: An Algebraic Semantics for the Object Specification Language TROLL light. 290-396 BibTeX
Ulrich Hensel, Horst Reichel: Defining Equations in Terminal Coalgebras. 307-318 BibTeX
Claus Hintermeier, Claude Kirchner, Hélène Kirchner: Sort Inheritance for Order-Sorted Equational Presentations. 319-335 BibTeX
Heinrich Hußmann: Axiomatic Specification of Large Information Systems: Experiences and Consequences. 336-350 BibTeX
Ulrike Lechner, Christian Lengauer, Martin Wirsing: An Object-Oriented Airport: Specification and Refinement in Maude. 351-367 BibTeX
Karl Meinke: Topological Methods for Algebraic Specification. 368-388 BibTeX
Till Mossakowski: A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. 389-405 BibTeX
Francesco Parisi-Presicce, Alfonso Pierantonio: Dynamical Behavior of Object Systems. 406-419 BibTeX
Amílcar Sernadas, Cristina Sernadas, José Manuel Valença: A Theory-based Typological Notion of Institutions. 420-436 BibTeX
Judith L. Underwood: Typing Abstract Data Types. 437-452 BibTeX
Michal Walicki, Sigurd Meldal: Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. 453-468 BibTeX
Uwe Wolter: Institutional Frames. 469-482 BibTeX
Elena Zucca: Implementation of Data Structures in an Imperative Framework. 483-498 BibTeX
Martin Gogolla, Maura Cerioli: What is an Abstract Data Type, after all? 499-523 BibTeX