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 (Author), Bodik, Rastislav (Author), Juniwal, Garvit (Author), Martin, Milo M. K. (Author), Raghothaman, Mukund (Author), Seshia, Sanjit A. (Author), Singh, Rishabh (Contributor), Torlak, Emina (Author), Udupa, Abhishek (Author), Solar-Lezama, Armando (Author)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor), Solar Lezama, Armando (Contributor)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE), 2014-10-10T12:42:08Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items