Languages

A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations

TitleA Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
Publication TypeConference Paper
Year of Publication2012
AuthorsLiang H, Feng X, Fu M
Conference Name39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12)
Date Published01/2012
PublisherACM Press
Conference LocationPhiladelphia, PA, USA