scientific article; zbMATH DE number 4164183

MaRDI QIDQ3491002zbMATHFDO

Authors Peter E. Madden

Publication date 1989

zbMATH Keywords

program verificationprogram transformationprogram synthesisconstructive higher-order typed logic

Mathematics Subject Classification ID

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

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

(4)

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

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)