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.
No references recorded for this publication.
No citations of this publication recorded.