Description and improvement of iterative program transformations

DOI10.1016/0167-6423(85)90014-0zbMath0577.68033OpenAlexW1967949046MaRDI QIDQ1065540

Jean-Pierre Finance, Jeanine Souquieres

Publication date: 1985

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(85)90014-0

zbMATH Keywords

program transformationprogram construction methodsequence data typessequential languages

Mathematics Subject Classification ID

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

This page was built for publication: Description and improvement of iterative program transformations