5. ADT 1987: Gullane, Scotland

@proceedings{DBLP:conf/adt/1987,
  editor    = {Donald Sannella and
               Andrzej Tarlecki},
  title     = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
               Data Types, Gullane, Scotland, September 1-4, 1987, Selected
               Papers},
  booktitle = {ADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {332},
  year      = {1987},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Michel Bidoit:
  The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. 1-22
  
• Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode:
  Algebraic Data Type and Process Specifications based on Projection Spaces. 23-43
  
• José Luiz Fiadeiro, Amílcar Sernadas:
  Structuring Theories on Consequence. 44-72
  
• Harald Ganzinger:
  Completion with History-Dependent Complexities for Generated Equations. 73-91
  
• Annegret Habel, Hans-Jörg Kreowski, Detlef Plump:
  Jungle Evaluation. 92-112
  
• Horst Hansen:
  The ACT System: Experiences and Future Enhancements. 113-130
  
• Thomas Lehmann, Jacques Loeckx:
  The Specification Language of OBSCURE. 131-153
  
• Bernhard Möller, Andrzej Tarlecki, Martin Wirsing:
  Algebraic Specifications of Reachable Higher-Order Algebras. 154-169
  
• Tobias Nipkow:
  Observing Non-Deterministic Data Types. 170-183
  
• Pilar Nivela, Fernando Orejas:
  Initial Behaviour Semantics for Algebraic Specifications. 184-207
  
• Axel Poigné:
  Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. 208-234
  
• Horst Reichel:
  Operational Semantics of Behavioural Canons based on Narrowing. 235-248
  
• Jos L. M. Vrancken:
  The Algebraic Specification of Semi-Computable Data Types. 249-259
  

Last update Tue May 22 03:55:47 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page