
The Library
Look for the proof to find the program : decorated-component-based program synthesis
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.
|
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
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: |
|
|||||||||
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: |
|
|||||||||
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 |
Downloads
Downloads per month over past year