Specifying the semantics of WHILE-programs : a tutorial and critique of a paper by Hoare and Lauer /

Specifying the semantics of WHILE-programs : a tutorial and critique of a paper by Hoare and Lauer /

Bibliographic Details
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:
Programming languages (Electronic computers) > Semantics

Similar Items

Similar Items