Mathematical Foundation of Programming Semantics
Subtitle: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: October 1986
Language: eng
Format: Paperback
Number of pages: 401
ISBN-13: 9783540168164
Subjects: Mathematical foundations; Mathematical theory of computation; Logic Design; Programming - General; Computers - Languages / Programming
First sentence: The purpose of denotational semantics, according to Milne and Strachey [8], is to provide an accurate standard by which designers and implementors of programming languages can judge their work.