Some models of inductive syntactical synthesis from sample computations

DOI10.1007/BFB0019360zbMATH Open1412.68041OpenAlexW81232907MaRDI QIDQ4560355FDOQ4560355

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

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

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)

Cites Work

• Title not available (Why is that?)
• Constructing Programs from Example Computations
• Generalized regular expressions - a language for synthesis of programs with branching in loops
• Title not available (Why is that?)

Cited In (7)

• Inductive synthesis of dot expressions
• Synthesized and inherited functions. A new computational model for syntax-directed semantics
• Title not available (Why is that?)
• A theory of formal synthesis via inductive learning
• Title not available (Why is that?)
• On complete sets of samples for generalized regular expressions
• Inductive syntactic synthesis of programs with FOR loops and interpreted functions

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)