The literature on programming languages contains an abundance of informal claims on the
relative expressive power of programming languages, but there is no framework for …

Large scale hardware-supported multithreading, an attractive means of increasing
computational power, benefits significantly from low per-thread costs. Hardware support for …

Plotkin's λ-value calculus is sound but incomplete for reasoning about βeegr;-
transformations on programs in continuation-passing style (CPS). To find a complete …

A Lisp-based approach is attractive for parallel computing since Lisp languages and
systems assume significant clerical burdens, such as storage management. Parallel Lisps …

The literature on programming languages contains an abundance of informal claims on the
relative expressive power of programming languages, but there is no framework for …

A fully abstract compiler guarantees that two source components are observationally
equivalent in the source language if and only if their translations are observationally …

Language-based security relies on the assumption that all potential attacks follow the rules
of the language in question. When programs are compiled into a different language, this is …

We address the problem of finding fully abstract translations between programming
languages, ie, translations that preserve code equivalence and nonequivalence. We give …

We present a new static analysis method for first-class continuations that uses an effect
system to classify the control domain behavior of expressions in a typed polymorphic …

A fully abstract model of a programming language assigns the same meaning to two terms if
and only if they have the same operational behavior. Such models are well-known for …