Formalizing Implementation Strategies for First-Class Continuations

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    Abstract

    We present the first formalization of implementation strategies for first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) programs with a special treatment for the current continuation, accounting for the essence of first-class continuations. These abstract machines are proven equivalent to a standard, substitution-based abstract machine. The proof techniques work uniformly for various representations of continuations. As a byproduct, we also present a formal proof of the two folklore theorems that one continuation identifier is enough for second-class continuations and that second-class continuations are stackable.
    A large body of work exists on implementing continuations, but it is predominantly empirical and implementation-oriented. In contrast, our formalization abstracts the essence of first-class continuations and provides a uniform setting for specifying and formalizing their representation.
    OriginalsprogEngelsk
    TitelProgramming Languages and Systems : 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
    RedaktørerGert Smolka
    Antal sider16
    ForlagSpringer
    Publikationsdato2000
    Sider88-103
    DOI
    StatusUdgivet - 2000
    Begivenhed9th European Symposium on Programming. ESOP 2000 - Berlin, Tyskland
    Varighed: 25 mar. 2000 → …

    Konference

    Konference9th European Symposium on Programming. ESOP 2000
    Land/OmrådeTyskland
    ByBerlin
    Periode25/03/2000 → …
    NavnLecture Notes in Computer Science
    Vol/bind1782

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Formalizing Implementation Strategies for First-Class Continuations'. Sammen danner de et unikt fingeraftryk.

    Citationsformater