The formal semantics of programming languages : an introduction / Glynn Winskel.
"The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a...
Full description
Saved in: