Scan barcode
96 pages • first pub 2010 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This book sets unites the various formalisms that define a programming language: 'small steps' operational semantics, 'big steps' operational semantics, and denotational semantics. It illustrates them with typical features of programming languages.
Community Reviews
Content Warnings
96 pages • first pub 2010 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This book sets unites the various formalisms that define a programming language: 'small steps' operational semantics, 'big steps' operational semantics, and denotational semantics. It illustrates them with typical features of programming languages.
Community Reviews
Content Warnings