Some models of inductive syntactical synthesis from sample computations

DOI10.1007/BFB0019360MaRDI QIDQ4560355zbMATH OpenOpenAlexFDO

Authors Efim Kinber

Publication date 11 December 2018

Published in Baltic Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0019360

zbMATH Keywords

synthesis algorithmarithmetical progressionsample computationinput sampletarget program

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational learning theory (68Q32) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) General topics in the theory of algorithms (68W01)

Recommendations

• scientific article; zbMATH DE number 4078789
• scientific article; zbMATH DE number 4124987
• Inductive syntactic synthesis of programs with FOR loops and interpreted functions
• scientific article; zbMATH DE number 4072426
• Inductive synthesis of dot expressions

Cites work

• scientific article; zbMATH DE number 3473265 (Why is no real title available?)
• scientific article; zbMATH DE number 4124987 (Why is no real title available?)
• Constructing Programs from Example Computations
• Generalized regular expressions - a language for synthesis of programs with branching in loops

Cited in

(7)

• scientific article; zbMATH DE number 4078789 (Why is no real title available?)
• A theory of formal synthesis via inductive learning
• On complete sets of samples for generalized regular expressions
• Inductive synthesis of dot expressions
• Synthesized and inherited functions. A new computational model for syntax-directed semantics
• Inductive syntactic synthesis of programs with FOR loops and interpreted functions
• scientific article; zbMATH DE number 4072426 (Why is no real title available?)

This page was built for publication: Some models of inductive syntactical synthesis from sample computations

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