Skip Nav Destination
Foundations of Computing
The Formal Semantics of Programming Languages: An Introduction
By
Glynn Winskel
Glynn Winskel
Glynn Winskel is Professor of Computer Science at the University of Aarhus, Denmark.
Search for other works by this author on:
The MIT Press
ISBN electronic:
9780262291453
Publication date:
1993
Book Chapter
5: The denotational semantics of IMP
-
Published:1993
Citation
1993. "The denotational semantics of IMP", The Formal Semantics of Programming Languages: An Introduction, Glynn Winskel
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.