Deriving Stack Semantics Congruent to Standard Denotational Semantics

Véronique Royer. Deriving Stack Semantics Congruent to Standard Denotational Semantics. In Kurt Mehlhorn, editor, STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings. Volume 182 of Lecture Notes in Computer Science, pages 299-309, Springer, 1985.

Abstract

Abstract is missing.