عنوان

Recent trends in data type specification :

(Number (ISBN

3662096919

(Number (ISBN

9783662096918

Number

b580310

Title Proper

Recent trends in data type specification :

General Material Designation

[Book]

Other Title Information

3rd Workshop on Theory and Applications of Abstract Data Types : selected papers

First Statement of Responsibility

edited by H.-J. Kreowski.

Place of Publication, Distribution, etc.

Berlin

Name of Publisher, Distributor, etc.

Springer-Verlag, [

Date of Publication, Distribution, etc.

1985] ©1985

Specific Material Designation and Extent of Item

(vii, 253 pages)

Series Title

Informatik-Fachberichte, 116.

Text of Note

Selected papers from the 3rd workshop on theory and applications of abstract data types, held in Bremen, 13-16 November 1984.

Text of Note

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.

Abstract data types (Computer science)

Abstract data types (Computer science) -- Congresses.

Data structures (Computer science) -- Congresses.

Class number

Book number

edited by H.-J. Kreowski.

H -J Kreowski

Electronic name

[Book]

Y