Mechanical verification of refactorings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nik Sultana, Simon J. Thompson. Mechanical verification of refactorings. In Robert Glück, Oege de Moor, editors, Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008. pages 51-60, ACM, 2008. [doi]

This author has not been identified. Look up 'Nik Sultana' in GoogleThis author has not been identified. Look up 'Simon J. Thompson' in Google

runs on WebDSL