Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name

S. Kamal Abdali, David S. Wise. Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. In Austin Melton, editor, Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings. Volume 239 of Lecture Notes in Computer Science, pages 1-19, Springer, 1985.

Abstract

Abstract is missing.