Recent Trends in Algebraic Development Techniques
Subtitle: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: May 4, 1998
Language: eng
Format: Paperback
Number of pages: 435
ISBN-13: 9783540642992
Subjects: Algebra; Mathematical theory of computation; Software engineering; Programming Languages - General; Congresses; Software Development; Computer Mathematics; Computers; Computers - Languages / Programming; Programming - Software Development; Science/Mathematics; Mathematics; Development; Logic Design; Abstract Data Types; Algebraic Specification; Computers / Programming / Software Development; Formal Methods; Computer Science; Abstract data types (Computer science); Computer software
First sentence: The concept of abstract data types was developed in the 70'ies in order to have an abstract and implementation-independent definition of data types.