An approach to the inductive synthesis of programs

MaRDI QIDQ1183740zbMATH OpenFDO

Authors I. É. Étmane

Publication date 28 June 1992

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

computation tracesinductive synthesis of programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(8)

• An approach to automatic deductive synthesis of functional programs
• scientific article; zbMATH DE number 996399 (Why is no real title available?)
• scientific article; zbMATH DE number 3868611 (Why is no real title available?)
• A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
• scientific article; zbMATH DE number 3934386 (Why is no real title available?)
• scientific article; zbMATH DE number 3952736 (Why is no real title available?)
• scientific article; zbMATH DE number 3960972 (Why is no real title available?)
• scientific article; zbMATH DE number 4124987 (Why is no real title available?)

This page was built for publication: An approach to the inductive synthesis of programs

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