scientific article; zbMATH DE number 4164183

zbMATH Open0708.68072MaRDI QIDQ3491002FDOQ3491002

Authors: Peter E. Madden 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Constructive system for automatic program synthesis
• Logic Based Program Synthesis and Transformation
• Title not available (Why is that?)
• A new application for explanation-based generalisation within automated deduction

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)