Synthesis: Dreams → Programs
From MaRDI portal
Publication:3206282
Cited in
(11)- Automatic programming: A tutorial on formal methodologies
- Top-down synthesis of divide-and-conquer algorithms
- Semantics of algorithmic languages
- Synthetic programming
- Definite descriptions and Dijkstra's odd powers of odd integers problem
- Cryptographic Systems Based on an Algebraic Structure
- Program synthesis with best-first bottom-up search
- La fonction d'Ackermann : un nouveau mode de dérécursivation
- Preservation of stronger equivalence in unfold/fold logic program transformation
- Synthesis of list algorithms by mechanical proving
- Unfold/fold transformations of logic programs
This page was built for publication: Synthesis: Dreams → Programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3206282)