scientific article; zbMATH DE number 1405455

MaRDI QIDQ4938430zbMATH OpenFDO

Authors Jeremy Gow, Alan Bundy, Ian Green

Publication date 23 February 2000

zbMATH Keywords

automatic proofestimation calculustermination of functional programswell-foundedness of induction rules

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Walther recursion
• scientific article; zbMATH DE number 107881
• Induction proofs with partial functions
• Termination analysis for functional programs
• AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS

Cited in

(2)

• Walther recursion
• Mathematical analysis on out-of-sample extensions

This page was built for publication:

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