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

@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
  
• 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
  

Last update Tue Feb 14 03:51:49 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page