Syntax-Guided Synthesis

Syntax-Guided Synthesis

Show other versions (1)

The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and program optimization illustrates many potential benefits of allowing the user to supplement the logical specificatio...

Full description

Bibliographic Details
Main Authors: Alur, Rajeev, Bodik, Rastislav, Dallal, Eric, Fisman, Dana, Garg, Pranav, Juniwal, Garvit, Kress-Gazit, Hadas, Madhusudan, P., Martin, Milo M. K., Raghothaman, Mukund, Saha, Shamwaditya, Seshia, Sanjit A., Singh, Rishabh, Solar Lezama, Armando, Torlak, Emina, Udupa, Abhishek
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: IOS Press 2021
Online Access:https://hdl.handle.net/1721.1/137905.2

Internet

https://hdl.handle.net/1721.1/137905.2

Similar Items