Concise Read-Only Specifications for Better Synthesis of Programs with Pointers
Work
Year: 2020
Type: book-chapter
Abstract: In program synthesis there is a well-known trade-off between concise and strong specifications: if a specification is too verbose, it might be harder to write than the program; if it is too weak, the... more
Institutions National University of Singapore, University of British Columbia, University of California, San Diego, Yale-NUS College
Cites: 51
Cited by: 4
Related to: 10
FWCI: 1.679
Citation percentile (by year/subfield): 80.46
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $5,392