The formal semantics of programming languages an introduction / Glynn Winskel. an introduction /
Saved in:
Main Author: | Winskel, G. (Glynn) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cambridge, Mass. :
MIT Press,
c1993.
|
Series: | Foundations of computing.
|
Subjects: | |
Online Access: | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Semantics of programming languages / R.D. Tennent.
by: Tennent, R. D., 1944-
Published: (1991) -
Understanding Z : a specification language and its formal semantics / J. M. Spivey.
by: Spivey, J. M.
Published: (2008) -
Programming languages and operational semantics : a concise overview / Maribel Fernandez.
by: Fernández, Maribel
Published: (2014) -
Algebraic semantics of imperative programs Joseph A. Goguen and Grant Malcolm.
by: Goguen, Joseph
Published: (1996) -
Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson.
by: Nielson, Hanne Riis, 1954-
Published: (2007)