Program derivation through transformations: The evolution of list-copying algorithms

DOI10.1016/0167-6423(86)90026-2MaRDI QIDQ1070817zbMATH OpenOpenAlexFDO

Authors B. George

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

zbMATH Keywords

correctness proofsprogram transformationHoare Logiclist-copying algorithmssequential programs

Mathematics Subject Classification ID

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

Recommendations

• Provably correct derivation of algorithms using FermaT
• Program derivation with verified transformations — a case study
• scientific article; zbMATH DE number 3872648
• The transformational approach to program development
• Publication:3034803

Cited in

(2)

• Provably correct derivation of algorithms using FermaT
• A Bibliography of Willem-Paul de Roever

This page was built for publication: Program derivation through transformations: The evolution of list-copying algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1070817)