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. 1st ed. 1996

種類:

電子ブック

責任表示:

edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996

著者名:

• Haveraaen, Magne.
• Owe, Olaf.
• Dahl, Ole-Johan.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 1130

ISBN:

9783540706427 [3540706429]    

注記:

Seven years of COMPASS -- Inductively defined relations: A brief tutorial extended abstract -- On the role of category theory in the area of algebraic specifications -- Unification of theories: A challenge for computing science -- The larch shared language: Some open problems -- The lambda calculus as an abstract data type -- Unifying theories in different institutions -- Interchange format for inter-operability of tools and translation -- Experiments with partial evaluation domains for rewrite specifications -- Class-sort polymorphism in GLIDER -- Deontic concepts in the algebraic specification of dynamic systems: The permission case -- Reification — Changing viewpoint but preserving truth -- A category-based equational logic semantics to constraint programming -- Concurrent state transformations on abstract data types -- A view on implementing processes: Categories of circuits -- Combining algebraic and set-theoretic specifications -- Minimal term rewriting systems -- InterACT: An interactive theorem and co
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.

ローカル注記:

学内専用E-BOOKS (local access only)