Denotational Semantics: A Methodology for Language Development
Introduces a methodology for giving mathematical meaning to programming languages and systems. Presents the topic from an engineering viewpoint, emphasizing the descriptional and implementational aspects.
Tag(s): Formal Methods
Publication date: 31 Dec 1986
ISBN-10: n/a
ISBN-13: n/a
Paperback: 304 pages
Views: 19,626
Type: Book
Publisher: McGraw-Hill
License: Creative Commons Attribution 2.0 Generic
Post time: 12 Oct 2006 09:27:41
Denotational Semantics: A Methodology for Language Development
David Schmidt wrote:After you gunzip/unzip the files, please read the enclosed README file so that you understand exactly what you have obtained for free.
About The Author(s)
David Schmidt is a native Kansan, and he has been employed at Kansas State University since 1986. His interests lie in design, analysis, and application of programming languages.
David Schmidt is a native Kansan, and he has been employed at Kansas State University since 1986. His interests lie in design, analysis, and application of programming languages.