Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation
| Title | Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Hamilton, G, Jones ND |
| Journal | Lecture Notes in Computer Science |
| Volume | 7162 |
| Pagination | pp 153–169 |
| URL | https://sharepoint.lero.ie/Publications/2012/Journal%20Papers/2012-Hamilton-Proving%20the%20Correctness%20of%20Unfold%20Fold%20Program.pdf |
Printer-friendly version