Another recursion induction principle

DOI10.1145/362588.362598MaRDI QIDQ5633654zbMATH OpenOpenAlexFDO

Authors James H. Jun. Morris

Publication date 1971

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

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

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) General topics in the theory of software (68N01)

Cited in

(6)

• Least fixed points revisited
• On some classes of interpretations
• Program transformations and algebraic semantics
• On transformations of programs
• Recursion induction principle revisited
• Current methods for proving program correctness

This page was built for publication: Another recursion induction principle

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