Existential continuation

DOI10.1007/BF03037449MaRDI QIDQ1115643zbMATH OpenOpenAlexFDO

Authors Taisuke Sato, Hisao Tamaki

Publication date 1989

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037449

zbMATH Keywords

functional programmingdenotational semanticslogic programmingprogram transformationexistential continuationpredicate partition

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Representing Control: a Study of the CPS Transformation
• scientific article; zbMATH DE number 1722643
• Linear continuation-passing
• Programs with continuations and linear logic
• CPS in little pieces: composing partial continuations

Cites work

• scientific article; zbMATH DE number 4106263 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• Continuation-Based Program Transformation Strategies
• Enumeration of success patterns in logic programs
• Making exhaustive search programs deterministic

This page was built for publication: Existential continuation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1115643)