Synthesis: Dreams → Programs

DOI10.1109/TSE.1979.234198MaRDI QIDQ3206282zbMATH OpenFDO

Authors Zohar Manna, Richard Waldinger

Publication date 1979

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1979.234198

zbMATH Keywords

data abstractionderivation of programsmodification of programsprogramming methodologyspecification of programsstructured programmingsynthesis of programssystematic program developmenttransformation of programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(11)

• Automatic programming: A tutorial on formal methodologies
• Top-down synthesis of divide-and-conquer algorithms
• La fonction d'Ackermann : un nouveau mode de dérécursivation
• Unfold/fold transformations of logic programs
• Synthesis of list algorithms by mechanical proving
• 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
• Semantics of algorithmic languages
• Synthetic programming
• Preservation of stronger equivalence in unfold/fold logic program transformation

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)