Click Image for Gallery
Formal Semantics of Programming Languages
- ISBN: 9780262731034
- Availability: In Stock
- ALL 12,000
- Ex Tax: ALL 12,000
Author: Glynn Winskel
Year: 1993
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 area of concurency. The book contains many exercises ranging from simple to miniprojects.