论文信息 - Exercises in Denotational Semantics - 字舞流文

Exercises in Denotational Semantics

Krzysztof R. Apt | J. W. de Bakker | J. W. Bakker | K. Apt

[1] J. W. de Bakker,et al. Least fixed points revisited , 1975, Lambda-Calculus and Computer Science Theory.

[2] Z. Manna,et al. Inductive methods for proving properties of programs , 1973, CACM.

[3] Zohar Manna,et al. Fixpoint approach to the theory of computation , 1972, CACM.

[4] C. A. R. Hoare,et al. Procedures and parameters: An axiomatic approach , 1971, Symposium on Semantics of Algorithmic Languages.