8. COMPASS Workshop / 11. ADT 1995: Oslo, Norway

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (Eds.): Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers. Lecture Notes in Computer Science 1130 Springer 1996, ISBN 3-540-61629-2 BibTeX

@proceedings{DBLP:conf/compass/1995,
  editor    = {Magne Haveraaen and
               Olaf Owe and
               Ole-Johan Dahl},
  title     = {Recent Trends in Data Type Specification, 11th Workshop on Specification
               of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo,
               Norway, September 19-23, 1995, Selected Papers},
  booktitle = {COMPASS/ADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1130},
  year      = {1996},
  isbn      = {3-540-61629-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Presentations

Bernd Krieg-Brückner: Seven Years of COMPASS. 1-13 BibTeX
Rod M. Burstall: Inductively Defined Relations: A Brief Tutorial (Extended Abstract). 14-16 BibTeX
Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter: On the Role of Category Theory in the Area of Algebraic Specification. 17-48 BibTeX
C. A. R. Hoare: Unification of Theories: A Challenge for Computing Science. 49-57 BibTeX
James J. Horning: The Larch Shared Language: Some Open Problems. 58-73 BibTeX
Pierre Lescanne: The Lambda Calculus as an Abstract Data Type. 74-80 BibTeX

Contributions

M. Arrais, José Luiz Fiadeiro: Unifying Theories in Different Institutions. 81-101 BibTeX
Michel Bidoit, Christine Choppy, Frédéric Voisin: Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU⁺/LP Experience. 102-124 BibTeX
Reinhard Bündgen, Werner Lauterbach: Experiments with Partial Evaluation Domains for Rewrite Specifications. 125-142 BibTeX
Silvia Clerici, Rosa M. Jiménez, Fernando Orejas: Class-Sort Polymorphism in GLIDER. 143-160 BibTeX
Eva Coscia, Gianna Reggio: Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. 161-181 BibTeX
Grit Denker: Reification - Changing Viewpoint but Preserving Truth. 182-199 BibTeX
Razvan Diaconescu: A Category-Based Equational Logic Semantics to Constraint Programming. 200-221 BibTeX
Martin Große-Rhode: Concurrent State Transformations on Abstract Data Types. 222-236 BibTeX
Ulrich Hensel, David A. Spooner: A View on Implementing Processes: Categories of Circuits. 237-254 BibTeX
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses: Combining Algebraic and Set-Theoretic Specifications. 255-273 BibTeX
J. F. Th. Kamperman, H. R. Walters: Minimal Term Rewriting Systems. 274-290 BibTeX
Marcus Klar, Robert Geisler, Felix Cornelius: InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. 291-395 BibTeX
Valentinas Kriauciukas, Michal Walicki: Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. 306-321 BibTeX
Bjørn Kristoffersen: Termination of Curryfied Rewrite Systems. 322-341 BibTeX
Pascale Le Gall, Agnès Arnould: Formal Specifications and Test: Correctness and Oracle. 342-358 BibTeX
Grant Malcolm: Behavioural Equivalence, Bisimulation, and Minimal Realisation. 359-378 BibTeX
Till Mossakowski: Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. 379-393 BibTeX
Nikos Mylonakis: Behavioural Specifications in Type Theory. 394-408 BibTeX
Peter Padawitz: Swinging Data Types: Syntax, Semantics, and Theory. 409-435 BibTeX
Wieslaw Pawlowski: Context Institutions. 436-457 BibTeX
Zhenyu Qian, Bernd Krieg-Brückner: Object-Oriented Functional Programming and Type Reconstruction. 458-477 BibTeX
Andrzej Tarlecki: Moving Between Logical Systems. 478-502 BibTeX
Frédéric Voisin, Michel Bidoit: Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. 503-521 BibTeX
H. R. Walters, J. F. Th. Kamperman: A Model for I/O in Equational Languages with Don't Care Non-determinism. 522-535 BibTeX
Dietmar Wolz: Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. 536-550 BibTeX