The formal semantics of programming languages by G. Winskel
The formal semantics of programming languages

G. Winskel

The formal semantics of programming languages

G. Winskel

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