Constructing Programs from Example Computations
From MaRDI portal
Publication:4122774
DOI10.1109/TSE.1976.233812zbMATH Open0352.68036OpenAlexW2055856946MaRDI QIDQ4122774FDOQ4122774
Authors: 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
General topics in the theory of software (68N01) Pattern recognition, speech recognition (68T10) Algorithms in computer science (68W99)
Cited In (13)
- Inductive synthesis of dot expressions
- Inductive synthesis of term rewriting systems
- DEFINING STRUCTURAL DESCRIPTIONS
- Some models of inductive syntactical synthesis from sample computations
- Algorithmic support for model transformation in object-oriented software development
- Generalized regular expressions - a language for synthesis of programs with branching in loops
- Learning with Kernels and Logical Representations
- Synthetic programming
- Inference of regular languages using state merging algorithms with search
- Automatic insertion of indexing instructions in program synthesis
- Programming by examples
- Automatic programming: A tutorial on formal methodologies
- SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
This page was built for publication: Constructing Programs from Example Computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4122774)