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, Volume 11

Front Cover
Springer Science & Business Media, Sep 4, 1996 - Computers - 550 pages
This 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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

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
551
Copyright

Common terms and phrases

Bibliographic information