The Formal Semantics of Programming Languages: An Introduction by Glynn Winskel

The Formal Semantics of Programming Languages: An Introduction

Glynn Winskel

384 pages first pub 1993 (editions)

nonfiction computer science informative medium-paced
Powered by AI (Beta)
Loading...

Description

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,...

Read more

Community Reviews

Loading...

Content Warnings

Loading...