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

denotational semanticsexistential continuationfunctional programminglogic programmingpredicate partitionprogram transformation

Mathematics Subject Classification ID

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

Review text

This paper introduces a notion of existential continuation and provides a theoretical basis for continuation passing style (CPS) programming in logic programming. We present an algorithm, called CPS conversion, which converts a definite clause program into a CPS program, correspondingly to a predicate partition, an analogue of mode pattern specifying input and output for each predicate. Depending on the choice of a predicate partition, the resulting program can have various execution modes from bottom-up to top-down computations. We then give a proof, on the basis of a meaning preserving logic program transformation system, that the CPS conversion preserves the meaning of programs.

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

• A Transformation System for Developing Recursive Programs
• Continuation-Based Program Transformation Strategies
• Enumeration of success patterns in logic programs
• scientific article; zbMATH DE number 4106263 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• 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)