Pages that link to "Item:Q1822935"
From MaRDI portal
The following pages link to Inductive syntactic synthesis of programs with FOR loops and interpreted functions (Q1822935):
Displaying 5 items.
- A means for the structural synthesis of programs (Q1091120) (← links)
- Semantic synthesis of programs by matching compositions (Q1111007) (← links)
- Synthesis of the programmed functions offor loops on data structures (Q3804172) (← links)
- (Q4205070) (← links)
- Some models of inductive syntactical synthesis from sample computations (Q4560355) (← links)