… We build on a single foundation: abstracting control as a hierarchy of continuations, each …
of shift to give control over an arbitrary number of embedding contexts, abstracting them as a …

A well known technique to implement programming languages with delimited control
operators shift and reset is to translate programs into continuation passing style (CPS). We can …

… a pushdown abstraction … control stack of the automata models the control stack of the concrete
interpreter, while stack frames, which contain closures, are subject to the same abstraction …

… about the control stack of … control stack. In this paper, we tackle the problem of bringing
pushdown flow analysis to the domain of dynamic language features. We revise the abstracting …

… language where dependent types and control operators co-exist… control, and what we can
prove with the control operators. … dependent types and delimited control operators. The present …

… model abstraction. In Section 111, we present the abstraction processes for constructing
models needed for event-based control. In Section IV, we describe how to achieve event-based …

… Later, in Section V, we propose a specific partition, providing better control over the
intervals and their tightness, thus containing one source of the abstraction’s non-determinism. …

… in abstractionbased correct-by-construction control synthesis… state space as the states of the
abstraction. We show that the … for discrete-time linear control systems and discuss several of …

… the controller synthesized for the compositional abstraction with the controller synthesized
for the monolithic abstraction we … of the compositional abstraction was not substantial. …