scientific article; zbMATH DE number 139988

MaRDI QIDQ4028347zbMATH OpenFDO

Authors Klaus P. Jantke

Publication date 28 March 1993

zbMATH Keywords

inductive inferenceincomplete equational software specificationspartially automated program synthesis

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• Deductive and inductive synthesis of equational programs
• scientific article; zbMATH DE number 792049
• scientific article; zbMATH DE number 3896335
• Inductive synthesis of recursive logic programs: achievements and prospects
• Rewriting techniques for program synthesis

Cited in

(2)

• Term Rewriting and Applications
• Inductive theorem proving for design specifications

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