COMPASS/ADT - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 100

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 PapersMagne Haveraaen, Olaf Owe, Ole-Johan Dahl, editors, Volume 1130 of Lecture Notes in Computer Science, Springer, 1996.

1995

Unifying Theories in Different InstitutionsM. Arrais, José Luiz Fiadeiro. compass 1996: 81-101

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 PapersEgidio Astesiano, Gianna Reggio, Andrzej Tarlecki, editors, Volume 906 of Lecture Notes in Computer Science, Springer, 1995.

Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU:::+:::/LP ExperienceMichel Bidoit, Christine Choppy, Frédéric Voisin. compass 1996: 102-124

Inductively Defined Relations: A Brief Tutorial (Extended Abstract)Rod M. Burstall. compass 1996: 14-16

Experiments with Partial Evaluation Domains for Rewrite SpecificationsReinhard Bündgen, Werner Lauterbach. compass 1996: 125-142

Class-Sort Polymorphism in GLIDERSilvia Clerici, Rosa M. Jiménez, Fernando Orejas. compass 1996: 143-160

Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission CaseEva Coscia, Gianna Reggio. compass 1996: 161-181

Reification - Changing Viewpoint but Preserving TruthGrit Denker. compass 1996: 182-199

A Category-Based Equational Logic Semantics to Constraint ProgrammingRazvan Diaconescu. compass 1996: 200-221

On the Role of Category Theory in the Area of Algebraic SpecificationHartmut Ehrig, Martin Große-Rhode, Uwe Wolter. compass 1996: 17-48

Formal Specifications and Test: Correctness and OraclePascale Le Gall, Agnès Arnould. compass 1996: 342-358

Concurrent State Transformations on Abstract Data TypesMartin Große-Rhode. compass 1996: 222-236

A View on Implementing Processes: Categories of CircuitsUlrich Hensel, David A. Spooner. compass 1996: 237-254

Combining Algebraic and Set-Theoretic SpecificationsClaus Hintermeier, Hélène Kirchner, Peter D. Mosses. compass 1996: 255-273

Unification of Theories: A Challenge for Computing ScienceC. A. R. Hoare. compass 1996: 49-57

The Larch Shared Language: Some Open ProblemsJames J. Horning. compass 1996: 58-73

Minimal Term Rewriting SystemsJ. F. Th. Kamperman, H. R. Walters. compass 1996: 274-290

::::InterACT::::: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional EquationMarcus Klar, Robert Geisler, Felix Cornelius. compass 1996: 291-395

Rewriting and Reasoning with Set-Relations II: The Non-ground Case CompletenessValentinas Kriauciukas, Michal Walicki. compass 1996: 306-321

Seven Years of COMPASSBernd Krieg-Brückner. compass 1996: 1-13

Termination of Curryfied Rewrite SystemsBjørn Kristoffersen. compass 1996: 322-341

The Lambda Calculus as an Abstract Data TypePierre Lescanne. compass 1996: 74-80

Behavioural Equivalence, Bisimulation, and Minimal RealisationGrant Malcolm. compass 1996: 359-378

Using Limits of Parchment to Systematically Construct Institutions of partial AlgebrasTill Mossakowski. compass 1996: 379-393

Behavioural Specifications in Type TheoryNikos Mylonakis. compass 1996: 394-408

Swinging Data Types: Syntax, Semantics, and TheoryPeter Padawitz. compass 1996: 409-435

Context InstitutionsWieslaw Pawlowski. compass 1996: 436-457

Object-Oriented Functional Programming and Type ReconstructionZhenyu Qian, Bernd Krieg-Brückner. compass 1996: 458-477

Moving Between Logical SystemsAndrzej Tarlecki. compass 1996: 478-502

Modular Algebraic Specifications and the Orientation of Equations into Rewrite RulesFrédéric Voisin, Michel Bidoit. compass 1996: 503-521

A Model for I/O in Equational Languages with Don t Care Non-determinismH. R. Walters, J. F. Th. Kamperman. compass 1996: 522-535

Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial SemanticsDietmar Wolz. compass 1996: 536-550

1994

Types, Subtypes, and ASL+David Aspinall. compass 1995: 116-131

Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative RingsLeo Bachmair, Harald Ganzinger, Jürgen Stuber. compass 1995: 1-29

Bulk Types and Query Language DesignCatriel Beeri. compass 1995: 30-47

On the Operational Semantics of the Algebraic and Logic Programming Language LPGDidier Bert, Rachid Echahed. compass 1995: 132-152

Behavioural TheoriesMichel Bidoit, Rolf Hennicker. compass 1995: 153-169

Equations for Describing Dynamic Nets of Communicating SystemsManfred Broy. compass 1995: 170-187

A Lazy Approach to Partial AlgebrasMaura Cerioli. compass 1995: 188-202

Transactions in Object-Oriented SpecificationsGrit Denker. compass 1995: 203-218

Local Specification of Distributed Families of Sequential ObjectsHans-Dieter Ehrich, Amílcar Sernadas. compass 1995: 219-235

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 PapersHartmut Ehrig, editor, Volume 785 of Lecture Notes in Computer Science, Springer, 1994.

Dynamic Abstract Data Types Based on Algebraic Graph TransformationsHartmut Ehrig, Michael Löwe, Fernando Orejas. compass 1995: 236-254

Modular Termination of Term Rewriting Systems RevisitedMaribel Fernández, Jean-Pierre Jouannaud. compass 1995: 255-272

Institutions for Behaviour SpecificationJosé Luiz Fiadeiro, José Félix Costa. compass 1995: 273-289

An Algebraic Semantics for the Object Specification Language TROLL ::::light::::Martin Gogolla, Rudolf Herzig. compass 1995: 290-396

What is an Abstract Data Type, after all?Martin Gogolla, Maura Cerioli. compass 1995: 499-523

Defining Equations in Terminal CoalgebrasUlrich Hensel, Horst Reichel. compass 1995: 307-318

Sort Inheritance for Order-Sorted Equational PresentationsClaus Hintermeier, Claude Kirchner, Hélène Kirchner. compass 1995: 319-335

Axiomatic Specification of Large Information Systems: Experiences and ConsequencesHeinrich Hußmann. compass 1995: 336-350

An Object-Oriented Airport: Specification and Refinement in MaudeUlrike Lechner, Christian Lengauer, Martin Wirsing. compass 1995: 351-367

Topological Methods for Algebraic SpecificationKarl Meinke. compass 1995: 368-388

From Abstract Data Types to Logical FrameworksJosé Meseguer, Narciso Martí-Oliet. compass 1995: 48-80

A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data TypesTill Mossakowski. compass 1995: 389-405

Dynamical Behavior of Object SystemsFrancesco Parisi-Presicce, Alfonso Pierantonio. compass 1995: 406-419

A Theory-based Typological Notion of InstitutionsAmílcar Sernadas, Cristina Sernadas, José Manuel Valença. compass 1995: 420-436

Typing Abstract Data TypesJudith L. Underwood. compass 1995: 437-452

Multialgebras, Power Algebras and Complete Calculi of Identities and InclusionsMichal Walicki, Sigurd Meldal. compass 1995: 453-468

Algebraic Specification Languages: An OverviewMartin Wirsing. compass 1995: 81-115

Institutional FramesUwe Wolter. compass 1995: 469-482

Implementation of Data Structures in an Imperative FrameworkElena Zucca. compass 1995: 483-498

1993

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 PapersMichel Bidoit, Christine Choppy, editors, Volume 655 of Lecture Notes in Computer Science, Springer, 1993.

1992

A SMoLCS Based Kit for Defining High-Level Algebraic Petri NetsMohamed Bettaz, Gianna Reggio. compass 1994: 98-112

Institutions for Very Abstract SpecificationsMaura Cerioli, Gianna Reggio. compass 1994: 113-127

About the Correctness and Adequacy of PLUSS SpecificationsChristine Choppy. compass 1994: 128-143

Semantic Constructions in the Specification Language GLIDERSilvia Clerici, Rosa M. Jiménez, Fernando Orejas. compass 1994: 144-157

On Certification of Specifications for TROLL light ObjectsStefan Conrad. compass 1994: 158-172

Translating TROLL light Concepts to MaudeGrit Denker, Martin Gogolla. compass 1994: 173-187

Algebraic High-Level Nets: Petri Nets RevisitedHartmut Ehrig, Julia Padberg, Leila Ribeiro. compass 1994: 188-206

Towards an Algebraic Semantics for the Object ParadigmJoseph A. Goguen, Razvan Diaconescu. compass 1994: 1-29

Two-Categorical Specification of Partial AlgebrasMartin Große-Rhode, Uwe Wolter. compass 1994: 207-219

A Behavioural Algebraic Framework for Modular System Design with ReuseRolf Hennicker, Friederike Nickl. compass 1994: 220-234

On Fibred Adjunctions and Completeness for Fibred CategoriesClaudio Hermida. compass 1994: 235-251

Rewriting Techniques for Software EngineeringJean-Pierre Jouannaud. compass 1994: 30-52

Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting SystemsJordi Levy, Jaume Agustí-Cullell. compass 1994: 252-267

A Semantic Basis of Logic-Independent TransformationJunbo Liu. compass 1994: 268-279

Unified Algebras and Abstract SyntaxPeter D. Mosses. compass 1994: 280-294

Structured Inheritance for Algebraic Class SpecificationsFrancesco Parisi-Presicce, Alfonso Pierantonio. compass 1994: 295-309

Identity and Existence, and Types in Algebra - A Survey of SortsAxel Poigné. compass 1994: 53-78

Towards a Theory for the Animation of Algebraic SpecificationCatharina Rieckhoff. compass 1994: 310-320

Second-Order Proof Systems for Algebraic Specification LanguagesPierre Yves Schobbens. compass 1994: 321-336

An Institution of Object BehaviourAmílcar Sernadas, José Félix Costa, Cristina Sernadas. compass 1994: 337-351

Overloading and InheritanceEric G. Wagner. compass 1994: 79-97

1991

Algebraic Specification of ConcurrencyEgidio Astesiano, Gianna Reggio. compass 1993: 1-39

Relationships between Logical FrameworksEgidio Astesiano, Maura Cerioli. compass 1993: 126-143

Label Algebras: A Systematic Use of TermsGilles Bernot, Pascale Le Gall. compass 1993: 144-163

How to Specify Non-Determinism and True Concurrency with Algebraic Term NetsMohamed Bettaz, Mourad Maouche. compass 1993: 164-180

Bounded Implementation of Algebraic SpecificationsMichael Breu. compass 1993: 181-198

Objects and their SpecificationHans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas. compass 1993: 40-65

Non-Equivalence of Categories for Equational Algebraic SpecificationsHartmut Ehrig, Francesco Parisi-Presicce. compass 1993: 222-235

New Concepts of Amalgamation and Extension for a General Theory of SpecificationsHartmut Ehrig, Michael Baldamus, Fernando Orejas. compass 1993: 199-221

Process Semantics of Temporal Logic SpecificationsJosé Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum. compass 1993: 236-253

The Object-Based Specification Language PI: Concepts, Syntax, and SemanticsPeter Gabriel. compass 1993: 254-270

Specifications with Observable Formulae and Observational Satisfaction RelationTeodor Knapik. compass 1993: 271-291

The Use of Sorts in Algebraic SpecificationsPeter D. Mosses. compass 1993: 66-92

Implementation and Behavioural Equivalence: A SurveyFernando Orejas, Marisa Navarro, Ana Sánchez. compass 1993: 93-125

Event Logic for Specifying Abstract Dynamic Data TypesGianna Reggio. compass 1993: 292-309

A Soft Stairway to InstitutionsAntonino Salibra, Giuseppe Scollo. compass 1993: 310-329

Generic Classes in an Object-Based LanguageEric G. Wagner. compass 1993: 330-344

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

COMPASS/ADT (compass)

Viewing Publication 1 - 100 from 100

1996

1995

1994

1993

1992

1991

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

COMPASS/ADT (compass)

Viewing Publication 1 - 100 from 100

1996

1995

1994

1993

1992

1991

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1