Program derivation through transformations: The evolution of list-copying algorithms
From MaRDI portal
Publication:1070817
DOI10.1016/0167-6423(86)90026-2zbMath0585.68024MaRDI QIDQ1070817
Publication date: 1986
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/16293
program transformation; correctness proofs; Hoare Logic; list-copying algorithms; sequential programs
68Q60: Specification and verification (program logics, model checking, etc.)