The McCarthy's recursion induction principle: oldy but goody

DOI10.1007/BF02576192zbMath0526.68014MaRDI QIDQ594581

Laurent Kott

Publication date: 1982

Published in: Calcolo (Search for Journal in Brave)

zbMATH Keywords

theorem provingprogram synthesisLISP functionsrecursion induction principlerecursive program transformations

Mathematics Subject Classification ID

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

Related Items (1)

Constraint-based correctness proofs for logic program transformations

Cites Work

• Unnamed Item
• Knowledge and reasoning in program synthesis
• A Deductive Approach to Program Synthesis
• Proving Theorems about LISP Functions
• A Transformation System for Developing Recursive Programs

This page was built for publication: The McCarthy's recursion induction principle: oldy but goody