Automatic cyclic termination proofs for recursive procedures in separation logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Reuben N. S. Rowe, James Brotherston. Automatic cyclic termination proofs for recursive procedures in separation logic. In Yves Bertot, Viktor Vafeiadis, editors, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017. pages 53-65, ACM, 2017. [doi]

This author has not been identified. Look up 'Reuben N. S. Rowe' in GoogleThis author has not been identified. Look up 'James Brotherston' in Google

runs on WebDSL