search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

COMPASS/ADT

Keyphrases

Publications

volume 1130, 1996

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 COMPASS/ADT 1130 (1996)

1995

Zhenyu Qian, Bernd Krieg-Brückner
Object-Oriented Functional Programming and Type Reconstruction. COMPASS/ADT (1995)
C. A. R. Hoare
Unification of Theories: A Challenge for Computing Science. COMPASS/ADT (1995)
Andrzej Tarlecki
Moving Between Logical Systems. COMPASS/ADT (1995)
Pierre Lescanne
The Lambda Calculus as an Abstract Data Type. COMPASS/ADT (1995)
Marcus Klar, Robert Geisler, Felix Cornelius
: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. COMPASS/ADT (1995)
Till Mossakowski
Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. COMPASS/ADT (1995)
Dietmar Wolz
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. COMPASS/ADT (1995)
Rod M. Burstall
Inductively Defined Relations: A Brief Tutorial (Extended Abstract). COMPASS/ADT (1995)
Valentinas Kriauciukas, Michal Walicki
Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. COMPASS/ADT (1995)
Reinhard Bündgen, Werner Lauterbach
Experiments with Partial Evaluation Domains for Rewrite Specifications. COMPASS/ADT (1995)
J. F. Th. Kamperman, H. R. Walters
Minimal Term Rewriting Systems. COMPASS/ADT (1995)
M. Arrais, José Luiz Fiadeiro
Unifying Theories in Different Institutions. COMPASS/ADT (1995)
H. R. Walters, J. F. Th. Kamperman
A Model for I/O in Equational Languages with Don't Care Non-determinism. COMPASS/ADT (1995)
Pascale Le Gall, Agnès Arnould
Formal Specifications and Test: Correctness and Oracle. COMPASS/ADT (1995)
Peter Padawitz
Swinging Data Types: Syntax, Semantics, and Theory. COMPASS/ADT (1995)
Ulrich Hensel, David A. Spooner
A View on Implementing Processes: Categories of Circuits. COMPASS/ADT (1995)
Bjørn Kristoffersen
Termination of Curryfied Rewrite Systems. COMPASS/ADT (1995)
Eva Coscia, Gianna Reggio
Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. COMPASS/ADT (1995)
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
Combining Algebraic and Set-Theoretic Specifications. COMPASS/ADT (1995)
Bernd Krieg-Brückner
Seven Years of COMPASS. COMPASS/ADT (1995)
Frédéric Voisin, Michel Bidoit
Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. COMPASS/ADT (1995)
Martin Große-Rhode
Concurrent State Transformations on Abstract Data Types. COMPASS/ADT (1995)
Nikos Mylonakis
Behavioural Specifications in Type Theory. COMPASS/ADT (1995)
Michel Bidoit, Christine Choppy, Frédéric Voisin
/LP Experience. COMPASS/ADT (1995)
Grit Denker
Reification - Changing Viewpoint but Preserving Truth. COMPASS/ADT (1995)
Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
On the Role of Category Theory in the Area of Algebraic Specification. COMPASS/ADT (1995)
Grant Malcolm
Behavioural Equivalence, Bisimulation, and Minimal Realisation. COMPASS/ADT (1995)
Razvan Diaconescu
A Category-Based Equational Logic Semantics to Constraint Programming. COMPASS/ADT (1995)
James J. Horning
The Larch Shared Language: Some Open Problems. COMPASS/ADT (1995)
Wieslaw Pawlowski
Context Institutions. COMPASS/ADT (1995)
Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
Class-Sort Polymorphism in GLIDER. COMPASS/ADT (1995)

volume 906, 1995

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 COMPASS/ADT 906 (1995)

1994

volume 785, 1994

Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers COMPASS/ADT 785 (1994)