Dependent Array Type Inference from Tests - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

He Zhu, Aditya V. Nori, Suresh Jagannathan. Dependent Array Type Inference from Tests. In Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen, editors, Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. Volume 8931 of Lecture Notes in Computer Science, pages 412-430, Springer, 2015. [doi]

This author has not been identified. Look up 'He Zhu' in GoogleThis author has not been identified. Look up 'Aditya V. Nori' in GoogleThis author has not been identified. Look up 'Suresh Jagannathan' in Google

runs on WebDSL