Editing by example

DOI10.1145/4472.4476MaRDI QIDQ3700874zbMATH OpenOpenAlexFDO

Authors Robert P. Nix

Publication date 1985

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1985-7/

zbMATH Keywords

inductive inferencegrammatical inferencetext processingautomatic program synthesistext editorgap patternsrepetitive text editing

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Artificial intelligence (68T99)

Recommendations

• A knowledge-based approach to program synthesis from examples
• Programming by demonstration using version space algebra
• scientific article; zbMATH DE number 4084990
• scientific article; zbMATH DE number 3960972
• Programming by example and proving by example using higher-order unification

Cited in

(8)

• Distinguishing pattern languages with membership examples
• Proofs-as-programs as a framework for the design of an analogy-based ML editor
• scientific article; zbMATH DE number 1961885 (Why is no real title available?)
• Programming by demonstration using version space algebra
• scientific article; zbMATH DE number 125120 (Why is no real title available?)
• Distinguishing relational pattern languages with a small number of short strings
• scientific article; zbMATH DE number 194259 (Why is no real title available?)
• Case-based representation and learning of pattern languages

This page was built for publication: Editing by example

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