MPG.eBooks - Search Results - "algebraic specification"

Search alternatives:
"algebraic specification" » "algebraic specifications"

Cover Image

1

Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. S...

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... -- Algebraic specification languages: An overview -- Types, subtypes, and ASL+ -- On the operational semantics...”

Cover Image

2

Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications...”