Specification and verification of context conditions for programming languages
By: by Simon Mark Kaplan.
Series: Report / Department of Computer Science, University of Illinois at Urbana-Champaign ;; no. UIUCDCS-R-85-l232; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ;; no. UIUCDCS-R-85-1232.
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1985
Place of publication: Urbana, Ill
Language: eng
Number of pages: 280
Subjects: Programming languages (Electronic computers) -- Semantics.
Notes: Bibliography: p. 204-211.
Thesis (Ph. D.)--University of Cape Town, 1985.
Cover title.
"November 1985."
"UILU-ENG-85-1741."