Recent Trends in Data Type Specification (Lecture Notes in Computer Science)
Contributors: Donald Sannella (Editor); Andrzej Tarlecki (Editor)
Publisher: Springer
Published: September 27, 2007
Language: eng
Format: Paperback
Number of pages: 276
ISBN-13: 9783540503255
Subjects: Databases & data structures; Congresses; Computers - Languages / Programming; Programming Languages - General; Abstract data types (Computer
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].