Automatic insertion of indexing instructions in program synthesis
From MaRDI portal
Publication:4188704
DOI10.1007/BF00991940zbMath0403.68009MaRDI QIDQ4188704
Publication date: 1978
Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)
68N01: General topics in the theory of software
Related Items
Uses Software
Cites Work
- On the inference of Turing machines from sample computations
- Speeding up the Synthesis of Programs from Traces
- A Methodology for LISP Program Construction from Examples
- Constructing Programs from Example Computations
- An improved program-synthesizing algorithm and its correctness
- Toward automatic program synthesis