Lazy but Effective Functional Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta. Lazy but Effective Functional Synthesis. In Constantin Enea, Ruzica Piskac, editors, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings. Volume 11388 of Lecture Notes in Computer Science, pages 92-113, Springer, 2019. [doi]

This author has not been identified. Look up 'Grigory Fedyukovich' in GoogleThis author has not been identified. Look up 'Arie Gurfinkel' in GoogleThis author has not been identified. Look up 'Aarti Gupta' in Google

runs on WebDSL