| Document Type
|
:
|
BL
|
| Record Number
|
:
|
760337
|
| Doc. No
|
:
|
b580310
|
| Main Entry
|
:
|
edited by H.-J. Kreowski.
|
| Title & Author
|
:
|
Recent trends in data type specification : : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers\ edited by H.-J. Kreowski.
|
| Publication Statement
|
:
|
Berlin : Springer-Verlag, [, 1985] ©1985
|
| Series Statement
|
:
|
Informatik-Fachberichte, 116.
|
| Page. NO
|
:
|
(vii, 253 pages)
|
| ISBN
|
:
|
3662096919
|
|
|
:
|
: 9783662096918
|
| Notes
|
:
|
Selected papers from the 3rd workshop on theory and applications of abstract data types, held in Bremen, 13-16 November 1984.
|
| Contents
|
:
|
Categorical Semantics, Or Extending Data Types to Include Memory --; Algebraic Specification of Conceptual Database Schemata --; OBSCURE, A New Specification Language --; Some Thoughts on Algebraic Specification --; Implementation Specifications --; The ASSPEGIQUE Specification Environment --; Motivations and Design --; Towards Abstract User Interfaces for Formal System Specifications --; A Final Algebra Semantics for Errors and Exceptions --; OSI Transport Service Considered as an Abstract Data Type --; Observational Specification: A Birkhoff-Theorem --; Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence --; Transformation of Interface Specifications --; Axiomatising Specification Theory --; On the Algebraic Specification of Domains --; Passing Compatibility is Almost Persistency --; Automatic Prototyping of Algebraic Specifications Using Prolog --; Error Handling for Parameterized Data Types --; Model Theory of Denotational Semantics.
|
| Subject
|
:
|
Abstract data types (Computer science)
|
| Subject
|
:
|
Abstract data types (Computer science) -- Congresses.
|
| Subject
|
:
|
Data structures (Computer science) -- Congresses.
|
| LC Classification
|
:
|
QA76.9.A23E358 9999
|
| Added Entry
|
:
|
H -J Kreowski
|