default search action
8. COMPASS Workshop / 11. ADT 1995: Oslo, Norway
- Magne Haveraaen
, Olaf Owe
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
Invited Presentations
- Bernd Krieg-Brückner:
Seven Years of COMPASS. 1-13 - Rod M. Burstall:
Inductively Defined Relations: A Brief Tutorial (Extended Abstract). 14-16 - Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter:
On the Role of Category Theory in the Area of Algebraic Specification. 17-48 - C. A. R. Hoare:
Unification of Theories: A Challenge for Computing Science. 49-57 - James J. Horning:
The Larch Shared Language: Some Open Problems. 58-73 - Pierre Lescanne:
The Lambda Calculus as an Abstract Data Type. 74-80
Contributions
- M. Arrais, José Luiz Fiadeiro:
Unifying Theories in Different Institutions. 81-101 - 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 - Reinhard Bündgen, Werner Lauterbach:
Experiments with Partial Evaluation Domains for Rewrite Specifications. 125-142 - Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
Class-Sort Polymorphism in GLIDER. 143-160 - Eva Coscia, Gianna Reggio:
Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. 161-181 - Grit Denker:
Reification - Changing Viewpoint but Preserving Truth. 182-199 - Razvan Diaconescu:
A Category-Based Equational Logic Semantics to Constraint Programming. 200-221 - Martin Große-Rhode:
Concurrent State Transformations on Abstract Data Types. 222-236 - Ulrich Hensel, David A. Spooner:
A View on Implementing Processes: Categories of Circuits. 237-254 - Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
Combining Algebraic and Set-Theoretic Specifications. 255-273 - J. F. Th. Kamperman, H. R. Walters:
Minimal Term Rewriting Systems. 274-290 - Marcus Klar, Robert Geisler, Felix Cornelius:
InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. 291-395 - Valentinas Kriauciukas, Michal Walicki:
Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. 306-321 - Bjørn Kristoffersen:
Termination of Curryfied Rewrite Systems. 322-341 - Pascale Le Gall, Agnès Arnould:
Formal Specifications and Test: Correctness and Oracle. 342-358 - Grant Malcolm:
Behavioural Equivalence, Bisimulation, and Minimal Realisation. 359-378 - Till Mossakowski
Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. 379-393 - Nikos Mylonakis:
Behavioural Specifications in Type Theory. 394-408 - Peter Padawitz:
Swinging Data Types: Syntax, Semantics, and Theory. 409-435 - Wieslaw Pawlowski
Context Institutions. 436-457 - Zhenyu Qian, Bernd Krieg-Brückner:
Object-Oriented Functional Programming and Type Reconstruction. 458-477 - Andrzej Tarlecki
Moving Between Logical Systems. 478-502 - Frédéric Voisin, Michel Bidoit:
Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. 503-521 - H. R. Walters, J. F. Th. Kamperman:
A Model for I/O in Equational Languages with Don't Care Non-determinism. 522-535 - Dietmar Wolz:
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. 536-550
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-22 19:31 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: