We investigate continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of λ-abstraction gives rise to different control operators: first-class continuations;dy...
详细信息
Time stamps were introduced in Shivers's PhD thesis for approximating the result of a control-flow analysis. We show them to be suitable for computing program analyses where the space of results (e.g., control-flo...
详细信息
We present an encoding for finite processes of the mobile ambients calculus into term graphs, proving its soundness and completeness with respect to the original, interleaving operational semantics. With respect to mo...
详细信息
In this paper I compare two well studied approaches to topological semantics - the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ, and Type Two Effectivity, exemplifi...
详细信息
We describe properties of a process calculus that has been developed for the purpose of analyzing security protocols. The process calculus is a restricted form of π-calculus, with bounded replication and probabilisti...
详细信息
暂无评论