Search-based program synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama. Search-based program synthesis. Communications of the ACM, 61(12):84-93, 2018. [doi]

This author has not been identified. It may be one of the following persons:

Rajeev Alur

Look up 'Rajeev Alur' in GoogleThis author has not been identified. Look up 'Rishabh Singh' in GoogleThis author has not been identified. Look up 'Dana Fisman' in GoogleThis author has not been identified. Look up 'Armando Solar-Lezama' in Google

runs on WebDSL