Synthesis: Dreams → Programs
From MaRDI portal
Publication:3206282
DOI10.1109/TSE.1979.234198zbMATH Open0416.68013MaRDI QIDQ3206282FDOQ3206282
Authors: Zohar Manna, Richard Waldinger
Publication date: 1979
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
data abstractionsynthesis of programsprogramming methodologystructured programmingspecification of programsderivation of programsmodification of programssystematic program developmenttransformation of programs
Cited In (11)
- Top-down synthesis of divide-and-conquer algorithms
- Preservation of stronger equivalence in unfold/fold logic program transformation
- Unfold/fold transformations of logic programs
- Definite descriptions and Dijkstra's odd powers of odd integers problem
- Semantics of algorithmic languages
- Synthetic programming
- La fonction d'Ackermann : un nouveau mode de dérécursivation
- Cryptographic Systems Based on an Algebraic Structure
- Synthesis of list algorithms by mechanical proving
- Program synthesis with best-first bottom-up search
- Automatic programming: A tutorial on formal methodologies
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)