The optimal approach to recursive programs

DOI10.1145/359863.359885zbMath0361.68022OpenAlexW2073424542MaRDI QIDQ4134910

Adi Shamir, Zohar Manna

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)

Related Items (9)

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

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