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.

Resource-guided program synthesis

Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann 0002. Resource-guided program synthesis. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 253-268, ACM, 2019. [doi]

Authors

Tristan Knoth

This author has not been identified. Look up 'Tristan Knoth' in Google

Di Wang

This author has not been identified. Look up 'Di Wang' in Google

Nadia Polikarpova

This author has not been identified. Look up 'Nadia Polikarpova' in Google

Jan Hoffmann 0002

This author has not been identified. Look up 'Jan Hoffmann 0002' in Google
runs on