On the Relation between Direct and Continuation Semantics-Reference-Cited by-同舟云学术

On the Relation between Direct and Continuation Semantics

Published:1974 Issue: Volume: Page:141-156
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Reynolds John C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-21545-6_10

Reference9 articles.

1. Morris, L., The Next 700 Programming Language Descriptions. Unpublished.

2. Strachey, C. and Wadsworth, C. P., Continuations - A Mathematical Semantics for Handling Full Jumps. Tech. Monograph PRG-11, Programming Research Group Oxford University Computing Laboratory, January 1974.

3. Reynolds, J. C., “Definitional Interpreters for Higher-Order Programming Languages”, Proc. 25th National ACM Conference, Boston, August 1972.

4. Tennent, R. D., Mathematical Semantics and Design of Programming Languages. Ph.D. Thesis, University of Toronto, October, 1973.

5. Landin, P. J., “A Correspondence Between ALGOL 60 and Church’s Lambda-Notation”. Comm ACM 8 (February-March 1965), 89–101 and 158–165.

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

1. Functional Representations of SSA;SSA-based Compiler Design;2021-06-12

2. An Adequacy Theorem for Dependent Type Theory;Theory of Computing Systems;2018-07-28

3. Verified Compilation for Shared-Memory C;Programming Languages and Systems;2014

4. Inductive reasoning about effectful data types;ACM SIGPLAN Notices;2007-10

5. Continuation Passing Transformation and Abstract Interpretation;Theory and Formal Methods 1993;1993