An Operational Investigation of the CPS Hierarchy-Reference-Cited by-同舟云学术

An Operational Investigation of the CPS Hierarchy

Published:1999 Issue: Volume: Page:224-242
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Danvy Olivier,Yang Zhe

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49099-X_15

Reference39 articles.

1. Lect Notes Comput Sci;A. W. Appel,1991

2. Robert (Corky) Cartwright, editor. Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, Snowbird, Utah, July 1988. ACM Press.

3. William Clinger, Anne H. Hartheimer, and Eric M. Ost. Implementation strategies for first-class continuations. Higher-Order and Symbolic Computation, 12(1), 1999.

4. Olivier Danvy. Type-directed partial evaluation. In Guy L. Steele Jr., editor, Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages, pages 242–257, St. Petersburg Beach, Florida, January 1996. ACM Press.

5. Olivier Danvy and Andrzej Filinski. Abstracting control. In Wand [38], pages 151–160.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Evaluating Portable Mechanisms for Legitimate Execution Stack Access with a Scheme Interpreter in an Extended SC Language;Journal of Information Processing;2019

2. A Modular Structural Operational Semantics for Delimited Continuations;Electronic Proceedings in Theoretical Computer Science;2016-06-19

3. A Hierarchy for Delimited Continuations in Call-by-Name;Foundations of Software Science and Computational Structures;2010

4. Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines;Semantics and Algebraic Specification;2009

5. A static simulation of dynamic delimited control;Higher-Order and Symbolic Computation;2007-10-24