Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | 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 |
COMPASS/ADT |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Mylonakis |
Behavioural Specifications in Type Theory. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Hensel, David A. Spooner |
A View on Implementing Processes: Categories of Circuits. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Wolz |
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | H. R. Walters, J. F. Th. Kamperman |
A Model for I/O in Equational Languages with Don't Care Non-determinism. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Christine Choppy, Frédéric Voisin |
Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | C. A. R. Hoare |
Unification of Theories: A Challenge for Computing Science. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Krieg-Brückner |
Seven Years of COMPASS. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Clerici, Rosa M. Jiménez, Fernando Orejas |
Class-Sort Polymorphism in GLIDER. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Grit Denker |
Reification - Changing Viewpoint but Preserving Truth. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | M. Arrais, José Luiz Fiadeiro |
Unifying Theories in Different Institutions. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Zhenyu Qian, Bernd Krieg-Brückner |
Object-Oriented Functional Programming and Type Reconstruction. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Padawitz |
Swinging Data Types: Syntax, Semantics, and Theory. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Klar, Robert Geisler, Felix Cornelius |
InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lescanne |
The Lambda Calculus as an Abstract Data Type. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Kristoffersen |
Termination of Curryfied Rewrite Systems. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Eva Coscia, Gianna Reggio |
Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Grant Malcolm |
Behavioural Equivalence, Bisimulation, and Minimal Realisation. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski |
Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Tarlecki |
Moving Between Logical Systems. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pascale Le Gall, Agnès Arnould |
Formal Specifications and Test: Correctness and Oracle. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | J. F. Th. Kamperman, H. R. Walters |
Minimal Term Rewriting Systems. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter |
On the Role of Category Theory in the Area of Algebraic Specification. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Razvan Diaconescu |
A Category-Based Equational Logic Semantics to Constraint Programming. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | James J. Horning |
The Larch Shared Language: Some Open Problems. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wieslaw Pawlowski |
Context Institutions. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Große-Rhode |
Concurrent State Transformations on Abstract Data Types. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.) |
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 |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bündgen, Werner Lauterbach |
Experiments with Partial Evaluation Domains for Rewrite Specifications. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Valentinas Kriauciukas, Michal Walicki |
Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rod M. Burstall |
Inductively Defined Relations: A Brief Tutorial (Extended Abstract). |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Voisin, Michel Bidoit |
Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Claus Hintermeier, Hélène Kirchner, Peter D. Mosses |
Combining Algebraic and Set-Theoretic Specifications. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maura Cerioli |
A Lazy Approach to Partial Algebras. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Catriel Beeri |
Bulk Types and Query Language Design. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Grit Denker |
Transactions in Object-Oriented Specifications. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Parisi-Presicce, Alfonso Pierantonio |
Dynamical Behavior of Object Systems. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Elena Zucca |
Implementation of Data Structures in an Imperative Framework. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig (eds.) |
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 |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michal Walicki, Sigurd Meldal |
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dieter Ehrich, Amílcar Sernadas |
Local Specification of Distributed Families of Sequential Objects. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke |
Topological Methods for Algebraic Specification. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
Equations for Describing Dynamic Nets of Communicating Systems. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla, Rudolf Herzig |
An Algebraic Semantics for the Object Specification Language TROLL light. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Michael Löwe, Fernando Orejas |
Dynamic Abstract Data Types Based on Algebraic Graph Transformations. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Hußmann |
Axiomatic Specification of Large Information Systems: Experiences and Consequences. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski |
A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Claus Hintermeier, Claude Kirchner, Hélène Kirchner |
Sort Inheritance for Order-Sorted Equational Presentations. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Judith L. Underwood |
Typing Abstract Data Types. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Wolter |
Institutional Frames. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001, Narciso Martí-Oliet |
From Abstract Data Types to Logical Frameworks. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Lechner, Christian Lengauer, Martin Wirsing |
An Object-Oriented Airport: Specification and Refinement in Maude. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wirsing |
Algebraic Specification Languages: An Overview. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Didier Bert, Rachid Echahed |
On the Operational Semantics of the Algebraic and Logic Programming Language LPG. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Harald Ganzinger, Jürgen Stuber |
Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, José Félix Costa |
Institutions for Behaviour Specification. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla, Maura Cerioli |
What is an Abstract Data Type, after all? |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Hensel, Horst Reichel |
Defining Equations in Terminal Coalgebras. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Jean-Pierre Jouannaud |
Modular Termination of Term Rewriting Systems Revisited. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Amílcar Sernadas, Cristina Sernadas, José Manuel Valença |
A Theory-based Typological Notion of Institutions. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker |
Behavioural Theories. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David Aspinall 0001 |
Types, Subtypes, and ASL+. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Christine Choppy (eds.) |
Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers |
COMPASS/ADT |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Hermida |
On Fibred Adjunctions and Completeness for Fibred Categories. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Levy, Jaume Agustí-Cullell |
Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Catharina Rieckhoff |
Towards a Theory for the Animation of Algebraic Specification. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Junbo Liu |
A Semantic Basis of Logic-Independent Transformation. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Grit Denker, Martin Gogolla |
Translating TROLL light Concepts to Maude. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Eric G. Wagner |
Overloading and Inheritance. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud |
Rewriting Techniques for Software Engineering. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Julia Padberg, Leila Ribeiro 0001 |
Algebraic High-Level Nets: Petri Nets Revisited. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Maura Cerioli, Gianna Reggio |
Institutions for Very Abstract Specifications. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Conrad 0001 |
On Certification of Specifications for TROLL light Objects. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Amílcar Sernadas, José Félix Costa, Cristina Sernadas |
An Institution of Object Behaviour. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Friederike Nickl |
A Behavioural Algebraic Framework for Modular System Design with Reuse. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Bettaz, Gianna Reggio |
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Yves Schobbens |
Second-Order Proof Systems for Algebraic Specification Languages. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen, Razvan Diaconescu |
Towards an Algebraic Semantics for the Object Paradigm. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Clerici, Rosa M. Jiménez, Fernando Orejas |
Semantic Constructions in the Specification Language GLIDER. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Axel Poigné |
Identity and Existence, and Types in Algebra - A Survey of Sorts. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses |
Unified Algebras and Abstract Syntax. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christine Choppy |
About the Correctness and Adequacy of PLUSS Specifications. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Martin Große-Rhode, Uwe Wolter |
Two-Categorical Specification of Partial Algebras. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Parisi-Presicce, Alfonso Pierantonio |
Structured Inheritance for Algebraic Class Specifications. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas |
Objects and their Specification. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Francesco Parisi-Presicce |
Non-Equivalence of Categories for Equational Algebraic Specifications. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Michael Breu |
Bounded Implementation of Algebraic Specifications. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Teodor Knapik |
Specifications with Observable Formulae and Observational Satisfaction Relation. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum |
Process Semantics of Temporal Logic Specifications. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Marisa Navarro, Ana Sánchez |
Implementation and Behavioural Equivalence: A Survey. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Eric G. Wagner |
Generic Classes in an Object-Based Language. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Bettaz, Mourad Maouche |
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Gianna Reggio |
Algebraic Specification of Concurrency. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses |
The Use of Sorts in Algebraic Specifications. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Antonino Salibra, Giuseppe Scollo |
A Soft Stairway to Institutions. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gianna Reggio |
Event Logic for Specifying Abstract Dynamic Data Types. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Bernot, Pascale Le Gall |
Label Algebras: A Systematic Use of Terms. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Maura Cerioli |
Relationships between Logical Frameworks. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Michael Baldamus, Fernando Orejas |
New Concepts of Amalgamation and Extension for a General Theory of Specifications. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gabriel |
The Object-Based Specification Language PI: Concepts, Syntax, and Semantics. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|