Automatically learning shape specifications
Year: 2016
Type: article
Source: ACM SIGPLAN Notices
Authors: He Zhu, Gustavo Petri, Suresh Jagannathan
Institutions: Purdue University West Lafayette, Université Paris Diderot
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: National Science Foundation
OpenAlex ID: W4238096783