Synthesis: Dreams → Programs

DOI10.1109/TSE.1979.234198zbMath0416.68013MaRDI QIDQ3206282

Richard Waldinger, Zohar Manna

Publication date: 1979

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

zbMATH Keywords

data abstractionsynthesis of programsstructured programmingprogramming methodologyspecification of programsderivation of programsmodification of programssystematic program developmenttransformation of programs

Mathematics Subject Classification ID

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

Related Items (10)

La fonction d'Ackermann : un nouveau mode de dérécursivation ⋮ Unfold/fold transformations of logic programs ⋮ Cryptographic Systems Based on an Algebraic Structure ⋮ Preservation of stronger equivalence in unfold/fold logic program transformation ⋮ Synthesis of list algorithms by mechanical proving ⋮ Semantics of algorithmic languages ⋮ Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem ⋮ Synthetic programming ⋮ Automatic programming: A tutorial on formal methodologies ⋮ Top-down synthesis of divide-and-conquer algorithms

This page was built for publication: Synthesis: Dreams → Programs