The following pages link to Synthesis: Dreams → Programs (Q3206282):
Displaying 11 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Synthetic programming (Q761788) (← links)
- Preservation of stronger equivalence in unfold/fold logic program transformation (Q915479) (← links)
- Automatic programming: A tutorial on formal methodologies (Q1060833) (← links)
- Top-down synthesis of divide-and-conquer algorithms (Q1062770) (← links)
- La fonction d'Ackermann : un nouveau mode de dérécursivation (Q3737419) (← links)
- Unfold/fold transformations of logic programs (Q4015152) (← links)
- Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem (Q4982054) (← links)
- Cryptographic Systems Based on an Algebraic Structure (Q6110249) (← links)
- Program synthesis with best-first bottom-up search (Q6488803) (← links)