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.
Read More
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.
Read Less
Add this copy of Introduction to the Theory of Programming Languages to cart. $37.53, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer.