Concepts and Semantics of Programming Languages 2

This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding.

Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs ...