论文信息 - Compiler Generation Using Denotational Semantics - 字舞流文

Compiler Generation Using Denotational Semantics

Peter D. Mosses

[1] Christopher Strachey,et al. Toward a mathematical semantics for computer languages , 1971 .

[2] Peter D. Mosses. The Semantics of Semantic Equations , 1974, MFCS.

[3] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..

[4] Peter David Mosses. Mathematical semantics and compiler generation , 1975 .