Constructing Programs from Example Computations

DOI10.1109/TSE.1976.233812MaRDI QIDQ4122774zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Pattern recognition, speech recognition (68T10) Algorithms in computer science (68W99)

Cited in

(13)

• Automatic programming: A tutorial on formal methodologies
• Programming by examples
• Generalized regular expressions - a language for synthesis of programs with branching in loops
• Inference of regular languages using state merging algorithms with search
• SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
• DEFINING STRUCTURAL DESCRIPTIONS
• Automatic insertion of indexing instructions in program synthesis
• Inductive synthesis of dot expressions
• Some models of inductive syntactical synthesis from sample computations
• Inductive synthesis of term rewriting systems
• Algorithmic support for model transformation in object-oriented software development
• Learning with Kernels and Logical Representations
• Synthetic programming

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)