Recent Trends in Data Type Specification
3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
Published on 29. June 2013
VII, 253 pages
978-3-662-09691-8 (ISBN)
Description
More details
Other editions
Additional editions
Hans-Jörg Kreowski
Recent Trends in Data Type Specification
3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
Book
01/1986
Springer
€53.49
Article exhausted; check different version
Content
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.
