Constructing Programs from Example Computations
From MaRDI portal
Publication:4122774
DOI10.1109/TSE.1976.233812zbMath0352.68036OpenAlexW2055856946MaRDI QIDQ4122774
Alan W. Biermann, Ramachandran Krishnaswamy
Publication date: 1976
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tse.1976.233812
Pattern recognition, speech recognition (68T10) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items
Algorithmic support for model transformation in object-oriented software development ⋮ Inductive synthesis of dot expressions ⋮ Some models of inductive syntactical synthesis from sample computations ⋮ Inductive synthesis of term rewriting systems ⋮ SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS ⋮ Inference of regular languages using state merging algorithms with search ⋮ DEFINING STRUCTURAL DESCRIPTIONS ⋮ Learning with Kernels and Logical Representations ⋮ Programming by examples ⋮ Automatic insertion of indexing instructions in program synthesis ⋮ Synthetic programming ⋮ Generalized regular expressions - a language for synthesis of programs with branching in loops ⋮ Automatic programming: A tutorial on formal methodologies
