For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
17
views
25
references
 Top references
cited by
8
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      1,512
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      Optimizing synthesis with metasketches

      Author(s): 1 , 1 , 1 , 1
      Publication date Created:
      Publication date (Print):
      Journal: ACM SIGPLAN Notices
      Publisher: Association for Computing Machinery (ACM)

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references25

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          Combinatorial sketching for finite programs

          Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik … (2006)
          Article 0 comments Cited 46 times – based on 0 reviews
            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Syntax-guided synthesis

            Mukund Raghothaman, Sanjit Seshia, Abhishek Udupa … (2013)
            Article 0 comments Cited 44 times – based on 0 reviews
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Kodkod: A Relational Model Finder

              Emina Torlak, Daniel Jackson (2007)
              Article 0 comments Cited 40 times – based on 0 reviews
                Bookmark
                All references

                Author and article information

                Journal
                Title: ACM SIGPLAN Notices
                Abbreviated Title: SIGPLAN Not.
                Publisher: Association for Computing Machinery (ACM)
                ISSN (Print): 03621340
                Publication date Created: April 08 2016
                Publication date (Print): January 11 2016
                Volume: 51
                Issue: 1
                Pages: 775-788
                Affiliations
                [1 ]University of Washington, USA
                Article
                DOI: 10.1145/2914770.2837666
                SO-VID: b7ec7f34-fa79-4f23-be72-ef8da57eaaa7
                Copyright © © 2016
                License:

                http://www.acm.org/publications/policies/copyright_policy#Background

                History

                Data availability:

                Comments

                Comment on this article

                scite_

                Similar content1,512

                See all similar

                Cited by8

                See all cited by

                Most referenced authors140

                See all reference authors