Control flow semantics
Saved in:
Main Author: | Bakker, J. W. de 1939- Jacobus Willem |
---|---|
Other Authors: | Vink, Erik de |
Format: | Book |
Published: |
Cambridge, Mass.A
MIT Press
1996
|
Series: | Foundations of computing
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Semantics with applications a formal introduction
by: Nielson, Hanne Riis 1954-
Published: (1992) -
Mathematical aspects of logic programming semantics
by: Hitzler, Pascal
Published: (2011) -
The formal semantics of programming languages n introduction
by: Winskel, G. (Glynn
Published: (1993) -
Algebraic semantics of imperative programs
by: Goguen, Joseph
Published: (1996) -
Formal semantics of Programming languages.
Published: (1972)