Inductive synthesis of dot expressions

DOI10.1007/BFB0019359MaRDI QIDQ4560354zbMATH OpenWikidataFDO

Authors A. Brazma

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/BFB0019359

zbMATH Keywords

free variableinductive inferencemaximal attractionsample computationsynthesis algorithm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4078789
• Some models of inductive syntactical synthesis from sample computations
• scientific article; zbMATH DE number 4072426
• scientific article; zbMATH DE number 4124987
• scientific article; zbMATH DE number 3960972

Cites work

• Constructing Programs from Example Computations
• Finding patterns common to a set of strings
• Generalized regular expressions - a language for synthesis of programs with branching in loops
• scientific article; zbMATH DE number 4016195 (Why is no real title available?)
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)

Cited in

(6)

• Algorithms for learning regular expressions from positive data
• Generalized regular expressions - a language for synthesis of programs with branching in loops
• scientific article; zbMATH DE number 4016195 (Why is no real title available?)
• scientific article; zbMATH DE number 4072426 (Why is no real title available?)
• Some models of inductive syntactical synthesis from sample computations
• Alien coding

This page was built for publication: Inductive synthesis of dot expressions

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