Recent Trends in Data Type Specification
Subtitle: 5th Workshop on Specification of Abstract Data (Lecture Notes in Computer Science)
Contributors: Andrzej Tarlecki (Editor)
Publisher: Springer
Published: December 1988
Language: eng
Number of pages: 259
ISBN-13: 9780387503257
First sentence: Among all approaches to algebraic semantics, two candidates are especially promising: the initial approach [28,38,21,24,25] and the loose approach [29,39,36,2].