Constructing Programs from Example Computations

DOI10.1109/TSE.1976.233812zbMATH Open0352.68036OpenAlexW2055856946MaRDI QIDQ4122774FDOQ4122774

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)

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

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)