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 Summary of 2 ratings

Average rating

5.0

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.