Program Development as a Formal Activity

DOI10.1109/TSE.1981.230815zbMath0447.68005OpenAlexW2132364484MaRDI QIDQ3893266

Manfred Broy, Peter Pepper

Publication date: 1981

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

Full work available at URL: https://doi.org/10.1109/tse.1981.230815

zbMATH Keywords

program transformationsabstract data typesprogram developmenttransformational semanticscorrectness of transformation rules

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items

Semantics of algorithmic languages ⋮ Synthetic programming ⋮ Top-down synthesis of divide-and-conquer algorithms