Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Look for the proof to find the program : decorated-component-based program synthesis

Tools
- Tools
+ Tools

Gascon, Adrià, Tiwari, Ashish, Carmer, Brent and Mathur, Umang (2017) Look for the proof to find the program : decorated-component-based program synthesis. In: Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings, Part II, Heidelberg, Germany, 24-28 Jul 2017, 10427 pp. 86-103. ISBN 9783319633893. doi:10.1007/978-3-319-63390-9 ISSN 0302-9743.

[img]
Preview
PDF
WRAP-look-proof-find-program-decorated-component-based-program-synthesis-Gascon-2019.pdf - Accepted Version - Requires a PDF viewer.

Download (1076Kb) | Preview
Official URL: https://doi.org/10.1007/978-3-319-63390-9

Request Changes to record.

Item Type: Conference Item (Paper)
Subjects: Q Science > Q Science (General)
Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions: Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH): Programming by example (Computer science), Cryptography
Series Name: Lecture Notes in Computer Science
Publisher: Springer
Place of Publication: Cham
ISBN: 9783319633893
ISSN: 0302-9743
Book Title: Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Editor: Majumdar, Rupak and Kunčak, Viktor
Official Date: July 2017
Dates:
DateEvent
July 2017Published
17 April 2017Accepted
Volume: 10427
Page Range: pp. 86-103
DOI: 10.1007/978-3-319-63390-9
Status: Peer Reviewed
Publication Status: Published
Reuse Statement (publisher, data, author rights): This is a post-peer-review, pre-copyedit version of an article published in Computer Aided Verification. CAV 2017. Lecture Notes in Computer Science. The final authenticated version is available online at: http://dx.doi.org/10.1007/978-3-319-63390-9
Access rights to Published version: Restricted or Subscription Access
Date of first compliant deposit: 28 May 2019
Date of first compliant Open Access: 28 May 2019
RIOXX Funder/Project Grant:
Project/Grant IDRIOXX Funder NameFunder ID
SOCIAM Project, EP/J017728/2.[EPSRC] Engineering and Physical Sciences Research Councilhttp://dx.doi.org/10.13039/501100000266
CCF1423296National Science Foundationhttp://dx.doi.org/10.13039/100000001
Conference Paper Type: Paper
Title of Event: Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings, Part II
Type of Event: Conference
Location of Event: Heidelberg, Germany
Date(s) of Event: 24-28 Jul 2017

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us