scientific article; zbMATH DE number 4164183

MaRDI QIDQ3491002zbMATH OpenFDO

Authors Peter E. Madden

Publication date 1989

zbMATH Keywords

constructive higher-order typed logicprogram synthesisprogram transformationprogram verification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Constructive system for automatic program synthesis
• scientific article; zbMATH DE number 1222428
• Automatic Parallelization and Optimization of Programs by Proof Rewriting
• Proofs and programs: A naïve approach to program extraction
• Recursive program optimization through inductive synthesis proof transformation

Cited in

(6)

• Recursive program optimization through inductive synthesis proof transformation
• scientific article; zbMATH DE number 3916263 (Why is no real title available?)
• scientific article; zbMATH DE number 1222428 (Why is no real title available?)
• A new application for explanation-based generalisation within automated deduction
• Logic Based Program Synthesis and Transformation
• Constructive system for automatic program synthesis

Describes a project that uses

Uses Software

• Nuprl

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