The optimal approach to recursive programs

DOI10.1145/359863.359885MaRDI QIDQ4134910zbMATH OpenOpenAlexFDO

Authors Zohar Manna, Adi Shamir

Publication date 1977

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/359863.359885

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(9)

• Programming in three-valued logic
• Optimal fixedpoints of logic programs
• Heuristics for safety and security constraints
• Semantics of algorithmic languages
• Iterative belief revision in extended logic programming
• A theory of truth that prefers falsehood
• What's in a function?
• A Natural Axiomatization of Computability and Proof of Church's Thesis
• Properties of data flow frameworks: A unified model

This page was built for publication: The optimal approach to recursive programs

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