Ebook: Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
- Tags: Software Engineering, Data Structures
- Series: Informatik-Fachberichte 116
- Year: 1985
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Content:
Front Matter....Pages N2-VII
Categorical Semantics, Or Extending Data Types to Include Memory....Pages 1-21
Algebraic (?) Specification of Conceptual Database Schemata....Pages 22-27
OBSCURE, A New Specification Language....Pages 28-30
Some Thoughts on Algebraic Specification....Pages 31-38
Implementation Specifications....Pages 39-53
The ASSPEGIQUE specification environment Motivations and Design....Pages 54-72
Towards Abstract User Interfaces for Formal System Specifications....Pages 73-88
A Final Algebra Semantics for Errors and Exceptions....Pages 89-103
OSI Transport Service Considered as an Abstract Data Type....Pages 104-118
Observational Specification: A Birkhoff-Theorem....Pages 119-135
Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence....Pages 136-155
Transformation of Interface Specifications....Pages 156-170
Axiomatising Specification Theory....Pages 171-177
On the Algebraic Specification of Domains....Pages 178-195
Passing Compatibility is Almost Persistency....Pages 196-206
Automatic Prototyping of Algebraic Specifications using Prolog....Pages 207-223
Error Handling for Parameterized Data Types....Pages 224-239
Model Theory of Denotational Semantics....Pages 240-253
Content:
Front Matter....Pages N2-VII
Categorical Semantics, Or Extending Data Types to Include Memory....Pages 1-21
Algebraic (?) Specification of Conceptual Database Schemata....Pages 22-27
OBSCURE, A New Specification Language....Pages 28-30
Some Thoughts on Algebraic Specification....Pages 31-38
Implementation Specifications....Pages 39-53
The ASSPEGIQUE specification environment Motivations and Design....Pages 54-72
Towards Abstract User Interfaces for Formal System Specifications....Pages 73-88
A Final Algebra Semantics for Errors and Exceptions....Pages 89-103
OSI Transport Service Considered as an Abstract Data Type....Pages 104-118
Observational Specification: A Birkhoff-Theorem....Pages 119-135
Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence....Pages 136-155
Transformation of Interface Specifications....Pages 156-170
Axiomatising Specification Theory....Pages 171-177
On the Algebraic Specification of Domains....Pages 178-195
Passing Compatibility is Almost Persistency....Pages 196-206
Automatic Prototyping of Algebraic Specifications using Prolog....Pages 207-223
Error Handling for Parameterized Data Types....Pages 224-239
Model Theory of Denotational Semantics....Pages 240-253
....
Download the book Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)