Specifying the semantics of WHILE-programs : a tutorial and critique of a paper by Hoare and Lauer /
Main Author: | Greif, Irene |
---|---|
Other Authors: | Meyer, Albert R |
Format: | Book |
Language: | English |
Published: |
Cambridge :
Massachusetts Institute of Technology, Laboratory for Computer Science,
1979
|
Series: | MIT/LCS/TM ;
130 |
Subjects: |
Similar Items
-
Semantics of programming languages /
by: Tennent, R. D., 1944-
Published: (1991) -
The semantics of programming languages : an elementary introduction using structural operational semantics /
by: Hennessy, Matthew
Published: (1990) -
Concepts and semantics of programming languages a semantical approach with OCaml and Python /
by: Hardin, Therese, et al.
Published: (2021) -
Semantics of programming languages : structures and techniques /
by: Gunter, Carl A, et al.
Published: (1992) -
The formal semantics of programming languages : an introduction /
by: Winskel, G (Glynn), et al.
Published: (1993)