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, Juniwal, Garvit, Martin, Milo M. K., Raghothaman, Mukund, Seshia, Sanjit A., Singh, Rishabh, Torlak, Emina, Udupa, Abhishek, Solar-Lezama, Armando
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Institute of Electrical and Electronics Engineers (IEEE) 2014
Online Access:http://hdl.handle.net/1721.1/90876
https://orcid.org/0000-0001-7604-8252

Internet

http://hdl.handle.net/1721.1/90876
https://orcid.org/0000-0001-7604-8252

Similar Items