Pages that link to "Item:Q4122774"
From MaRDI portal
The following pages link to Constructing Programs from Example Computations (Q4122774):
Displaying 13 items.
- Synthetic programming (Q761788) (← links)
- Automatic programming: A tutorial on formal methodologies (Q1060833) (← links)
- Programming by examples (Q1255776) (← links)
- Generalized regular expressions - a language for synthesis of programs with branching in loops (Q1822523) (← links)
- Inference of regular languages using state merging algorithms with search (Q2485087) (← links)
- SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS (Q3021937) (← links)
- DEFINING STRUCTURAL DESCRIPTIONS (Q3870341) (← links)
- Automatic insertion of indexing instructions in program synthesis (Q4188704) (← links)
- Inductive synthesis of dot expressions (Q4560354) (← links)
- Some models of inductive syntactical synthesis from sample computations (Q4560355) (← links)
- Inductive synthesis of term rewriting systems (Q4560356) (← links)
- Algorithmic support for model transformation in object-oriented software development (Q4790926) (← links)
- Learning with Kernels and Logical Representations (Q5452022) (← links)
