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 PapersThis book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994. |
Contents
Seven Years of COMPASS | 1 |
A Brief Tutorial Extended Abstract | 14 |
On the Role of Category Theory in the Area of Algebraic Specifications | 17 |
A Challenge for Computing Science | 49 |
Some Open Problems | 58 |
The Lambda Calculus as an Abstract Data Type | 74 |
Unifying Theories in Different Institutions | 81 |
Interchange Format for Interoperability of Tools and Translation | 102 |
An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equations | 291 |
The Nonground Case Completeness | 306 |
Termination of Curryfied Rewrite Systems | 322 |
Correctness and Oracle | 342 |
Behavioural Equivalence Bisimulation and Minimal Realisation | 359 |
Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras | 379 |
Behavioural Specifications in Type Theory | 394 |
Swinging Data Types | 409 |
Experiments with Partial Evaluation Domains for Rewrite Specifications | 125 |
ClassSort Polymorphism in GLIDER | 143 |
The Permission Case | 161 |
Reification Changing Viewpoint but Preserving Truth | 182 |
A CategoryBased Equational Logic Semantics to Constraint Programming | 200 |
Concurrent State Transformations on Abstract Data Types | 222 |
Categories of Circuits | 237 |
Combining Algebraic and SetTheoretic Specifications | 255 |
Minimal Term Rewriting Systems | 274 |
Context Institutions | 436 |
ObjectOriented Functional Programming and Type Reconstruction | 458 |
Moving Between Logical Systems | 478 |
Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules | 503 |
A Model for IO in Equational Languages with Dont Care Nondeterminism | 522 |
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics | 536 |
Author Index | |
Other editions - View all
Recent Trends in Data Type Specification: 11th Workshop on Specification of ... Magne Haveraaen,Olaf Owe,Ole-Johan Dahl No preview available - 1996 |
Common terms and phrases
abstract data types adjoint algebraic specification algorithm applied axioms behavioural equivalence category theory coalgebra colimit comma category Computer Science concepts condition consider constraint logic construction constructor context institution corresponding defined Definition denoted diagram dynamic equational logic evaluation domain example extension finite forgetful functor formal formulae framework function symbols functional programming functor given Goguen Horn clause implementation induction initial input instantiation institution morphisms InterACT Joseph Goguen Lemma LNCS logic programming modular module morphism multiset natural transformation notion object operations output parameterized paramodulation polymorphism predicates problem programming language proof properties Proposition prove reification relation restrictions rewrite rules satisfies semantics sentences sequence signature morphism sorts SPEC specification language Springer structure subclass substitution subterm subtyping syntactic syntax temporal logic term rewriting systems termination test set Theorem tion TOFL transition translation type theory