Program synthesis with algebraic library specifications

Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama. Program synthesis with algebraic library specifications. Proceedings of the ACM on Programming Languages, 3(OOPSLA), 2019. [doi]

Authors

Benjamin Mariano

This author has not been identified. Look up 'Benjamin Mariano' in Google

Josh Reese

This author has not been identified. Look up 'Josh Reese' in Google

Siyuan Xu

This author has not been identified. Look up 'Siyuan Xu' in Google

ThanhVu Nguyen

This author has not been identified. Look up 'ThanhVu Nguyen' in Google

Xiaokang Qiu

This author has not been identified. Look up 'Xiaokang Qiu' in Google

Jeffrey S. Foster

This author has not been identified. Look up 'Jeffrey S. Foster' in Google

Armando Solar-Lezama

This author has not been identified. Look up 'Armando Solar-Lezama' in Google