Pages that link to "Item:Q1091120"
From MaRDI portal
The following pages link to A means for the structural synthesis of programs (Q1091120):
Displaying 19 items.
- Synthetic programming (Q761788) (← links)
- Synthesis of network structure design programs (Q801681) (← links)
- Synthesis of parallel recursive programs in structural functional models (Q927456) (← links)
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras (Q1079357) (← links)
- Formalized structural synthesis of a pipeline processor for measurement data (Q1816033) (← links)
- Strategies for symbolic processing and synthesis of algorithms and programs (Q1817148) (← links)
- Description semantics in utopist language and automatic program synthesis (Q1822227) (← links)
- Formalized program specifications and transformation synthesis (Q1899896) (← links)
- A methodology of structured-modular composition programming (Q1907783) (← links)
- Syntactically correct multilevel structured program design (Q1910976) (← links)
- Interpretable program specification language (Q1956949) (← links)
- Constructive-synthesizing structures and their grammatical interpretations. I. Generalized formal constructive-synthesizing structure (Q2263334) (← links)
- A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences (Q3460547) (← links)
- Reducing Behavioural to Structural Properties of Programs with Procedures (Q3600471) (← links)
- (Q3730000) (← links)
- Synthesis of the programmed functions offor loops on data structures (Q3804172) (← links)
- (Q3814781) (← links)
- (Q4287720) (← links)
- (Q4354352) (← links)