The Formal Semantics of Programming Languages: An Introduction

by Glynn Winskel

Book Overview

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 variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital...

• Format: Paperback
• Language: English
• ISBN: 0262731037
• ISBN13: 9780262731034
• Release Date: February 1993
• Publisher: MIT Press
• Length: 384 Pages
• Weight: 1.80 lbs.
• Dimensions: 0.7" x 6.9" x 9.0"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher