Existential continuation

DOI10.1007/BF03037449zbMath0664.68103OpenAlexW2911927583MaRDI QIDQ1115643

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

program transformationdenotational semanticslogic programmingfunctional programmingexistential continuationpredicate partition

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Making exhaustive search programs deterministic
• Enumeration of success patterns in logic programs
• Continuation-Based Program Transformation Strategies
• A Transformation System for Developing Recursive Programs

This page was built for publication: Existential continuation