External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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
runs on