登入選單

返回Google圖書搜尋

Semantics of Local Variables

P. W. O'HearnUniversity of Edinburgh. Department of Computer Science. Laboratory for Foundations of Computer ScienceR. D. Tennent

出版	LFCS, Department of Computer Science, University of Edinburgh, 1992
URL	http://books.google.com.hk/books?id=eGmwIQAACAAJ&hl=&source=gbs_api

註釋

Abstract: "This expository article discusses recent progress on the problem of giving sufficiently abstract semantics to local-variable declarations in Algol-like languages, especially work using categorical methods."