Abstracting Control

@inproceedings{Danvy1990AbstractingC,
  title={Abstracting Control},
  author={Olivier Danvy and Andrzej Filinski},
  booktitle={LISP and Functional Programming},
  year={1990}
}
The last few years have seen a renewed interest in continuations for expressing advanced control structures in programming languages, and new models such as Abstract Continuations have been proposed to capture these dimensions. This article investigates an alternative formulation, exploiting the latent expressive power of the standard continuation-passing style (CPS) instead of introducing yet other new concepts. We build on a single foundation: abstracting control as a hierarchy of… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 192 CITATIONS

A type-theoretic foundation of continuations and prompts

VIEW 14 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Representing Control: A Study of the CPS Transformation

  • Mathematical Structures in Computer Science
  • 1992
VIEW 11 EXCERPTS
CITES BACKGROUND & METHODS

Typing , Representing , and Abstracting Control Functional

VIEW 10 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

Bisimulations for Delimited-Control Operators

  • Logical Methods in Computer Science
  • 2017
VIEW 12 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

More declarative tabling in Prolog using multi-prompt delimited control

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

An Integrated Theory of Type-Based Static and Dynamic Verification

VIEW 62 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Shifting the Blame - A Blame Calculus with Delimited Control

VIEW 17 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A A Dynamic Continuation-Passing Style for Dynamic Delimited

DARIUSZ BIERNACKI
  • 2014
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Continuation Hierarchy and Quantifier Scope

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1991
2019

CITATION STATISTICS

  • 40 Highly Influenced Citations

  • Averaged 11 Citations per year from 2017 through 2019