Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation

DOI10.1007/978-3-642-29709-0_15zbMath1336.68034OpenAlexW343586819MaRDI QIDQ3457978

Neil D. Jones, Geoff W. Hamilton

Publication date: 7 December 2015

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10344/2375

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Asymptotic Speedups, Bisimulation and Distillation (Work in Progress)

This page was built for publication: Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation