The optimal approach to recursive programs

DOI10.1145/359863.359885zbMATH Open0361.68022OpenAlexW2073424542MaRDI QIDQ4134910FDOQ4134910

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
• A theory of truth that prefers falsehood
• Properties of data flow frameworks: A unified model
• Semantics of algorithmic languages
• A Natural Axiomatization of Computability and Proof of Church's Thesis
• What's in a function?
• Heuristics for safety and security constraints
• Iterative belief revision in extended logic programming

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)