Recursive proofs for inductive tree data-structures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu. Recursive proofs for inductive tree data-structures. In John Field, Michael Hicks, editors, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. pages 123-136, ACM, 2012. [doi]

This author has not been identified. Look up 'Parthasarathy Madhusudan' in GoogleThis author has not been identified. Look up 'Xiaokang Qiu' in GoogleThis author has not been identified. Look up 'Andrei Stefanescu' in Google

runs on WebDSL