Introduction to the Theory of Programming Languages |
|
| Author:
| Dowek, Gilles
Lévy, Jean-Jacques
Lévy, Jean-Jacques |
| Series title: | Undergraduate Topics in Computer Science Ser. |
| ISBN: | 978-0-85729-076-2 |
| Publication Date: | Dec 2010 |
| Publisher: | Springer London, Limited
|
| Imprint: | Springer |
| Book Format: | Ebook |
| List Price: | USD $39.95 |
Book 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.
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.