The Library
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.
|
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
