scientific article; zbMATH DE number 785053

MaRDI QIDQ4842542zbMATH OpenFDO

Authors Stanley S. Wainer

Publication date 13 December 1995

zbMATH Keywords

cut eliminationlogical costprogram transformationproof transformationrecursive programsrecursive-to-tail-recursive transformationtermination proofs

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1555192
• scientific article; zbMATH DE number 176743
• Transformational methodology for proving termination of logic programs
• On the Computational Content of Termination Proofs
• A proof-theoretic study of abstract termination principles

Cited in

(17)

• The treewidth of proofs
• Proof complexity of monotone branching programs
• Recursive proof composition from accumulation schemes
• An almost machine-independent theory of program-length complexity, sophistication, and induction
• scientific article; zbMATH DE number 4131660 (Why is no real title available?)
• scientific article; zbMATH DE number 176743 (Why is no real title available?)
• scientific article; zbMATH DE number 680708 (Why is no real title available?)
• scientific article; zbMATH DE number 1555192 (Why is no real title available?)
• scientific article; zbMATH DE number 782031 (Why is no real title available?)
• On the Proof Theory of Program Transformations
• Transforming programs into recursive functions
• A difference in complexity between recursion and tail recursion
• Representing proof transformations for program optimization
• Recursion and proofs
• scientific article; zbMATH DE number 3353266 (Why is no real title available?)
• scientific article; zbMATH DE number 2242587 (Why is no real title available?)
• A sound strategy to compile general recursion into finite depth pattern matching

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 Q4842542)