Automatic insertion of indexing instructions in program synthesis

DOI10.1007/BF00991940MaRDI QIDQ4188704zbMATH OpenOpenAlexFDO

Authors Alan W. Biermann

Publication date 1978

Published in International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00991940

zbMATH Keywords

Automatic ProgrammingIndexing InstructionsProgram Synthesis

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites work

• A Methodology for LISP Program Construction from Examples
• An improved program-synthesizing algorithm and its correctness
• Constructing Programs from Example Computations
• On the inference of Turing machines from sample computations
• Speeding up the Synthesis of Programs from Traces
• Toward automatic program synthesis

Cited in

(1)

• Programming by examples

Describes a project that uses

Uses Software

• APL

This page was built for publication: Automatic insertion of indexing instructions in program synthesis

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