Existential continuation

DOI10.1007/BF03037449zbMATH Open0664.68103OpenAlexW2911927583MaRDI QIDQ1115643FDOQ1115643

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

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

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)

Cites Work

• Title not available (Why is that?)
• Enumeration of success patterns in logic programs
• A Transformation System for Developing Recursive Programs
• Continuation-Based Program Transformation Strategies
• Making exhaustive search programs deterministic
• Title not available (Why is that?)

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)