Synthesis: Dreams → Programs

DOI10.1109/TSE.1979.234198MaRDI QIDQ3206282zbMATHFDO

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)

• 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)