Mathematics of Program Construction
Subtitle: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science)
Contributors: Richard S. Bird (Editor); C. Carroll Morgan (Editor); James C. P. Woodcock (Editor)
Publisher: Springer
Published: May 1993
Language: eng
Format: Paperback
Number of pages: 378
ISBN-13: 9783540566250
Subjects: Applied mathematics; Computer Programming; Mathematical theory of computation; Computers - Languages / Programming; Programming - Software Development; Computer Science; Logic Design; Programming
First sentence: The ambivalence towards notation is reflected in what I am tempted to call "hybrid theories"; these are very traditional and are warmly recommended to this very day.