scientific article; zbMATH DE number 3934386

MaRDI QIDQ3706479zbMATH OpenFDO

Authors Ja. M. Barzdin'

Publication date 1982

zbMATH Keywords

program synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An approach to the inductive synthesis of programs
• scientific article; zbMATH DE number 3982491
• scientific article; zbMATH DE number 3960979
• scientific article; zbMATH DE number 4078789
• scientific article; zbMATH DE number 2090035
• scientific article; zbMATH DE number 2247255
• scientific article; zbMATH DE number 3845028
• scientific article; zbMATH DE number 4124987
• Inductive synthesis of recursive logic programs: achievements and prospects

Cited in

(8)

• On the power of recursive optimizers
• On the power of inductive inference from good examples
• scientific article; zbMATH DE number 996399 (Why is no real title available?)
• scientific article; zbMATH DE number 3868611 (Why is no real title available?)
• scientific article; zbMATH DE number 3952736 (Why is no real title available?)
• scientific article; zbMATH DE number 4020482 (Why is no real title available?)
• scientific article; zbMATH DE number 4084990 (Why is no real title available?)
• scientific article; zbMATH DE number 4124987 (Why is no real title available?)

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