Synthesis: Dreams → Programs

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)

zbMATH Keywords

data abstractionsynthesis of programsprogramming methodologystructured programmingspecification of programsderivation of programsmodification of programssystematic program developmenttransformation of programs

Mathematics Subject Classification ID

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

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)