Speeding up the Synthesis of Programs from Traces

DOI10.1109/T-C.1975.224180MaRDI QIDQ4051571zbMATH OpenOpenAlexFDO

Authors Alan W. Biermann, Richard I. Baum, Fred Petry

Publication date 1975

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/t-c.1975.224180

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(4)

• Automatic programming: A tutorial on formal methodologies
• Inference of regular languages using state merging algorithms with search
• Automatic insertion of indexing instructions in program synthesis
• Synthetic programming

This page was built for publication: Speeding up the Synthesis of Programs from Traces

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