Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities
Work
Year: 2021
Type: book-chapter
Abstract: This paper presents the main ideas behind deductive synthesis of heap-manipulating program and outlines present challenges faced by this approach as well as future opportunities for its applications.
Institutions Technion – Israel Institute of Technology, University of California, San Diego, Royal Holloway University of London, Yale-NUS College
Cites: 116
Cited by: 3
Related to: 10
FWCI: 1.568
Citation percentile (by year/subfield): 76.49
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $5,392