Continuations: A Mathematical Semantics for Handling Full Jumps

Continuations: A Mathematical Semantics for Handling Full Jumps
复制标题

延续：处理完全跳转的数学语义

DOI：
10.1023/a:1010026413531
复制
发表时间：
2000
期刊：
Higher-Order and Symbolic Computation
影响因子：
--
通讯作者：
C. P. Wadsworth
C. P. Wadsworth
中科院分区：
--
文献类型：
--
作者：
C. Strachey;C. P. Wadsworth

文献摘要

被引文献

相似文献

本文描述了一种给出包含最一般形式的跳转的程序设计语言的数学语义的方法。
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.