1![Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA](https://www.pdfsearch.io/img/4fcbc35d0f4d8deab6b1f6119c6db945.jpg) | Add to Reading ListSource URL: dacongy.github.ioLanguage: English - Date: 2017-06-27 01:04:15
|
---|
2![Conformally Invariant Loop Measures Gregory F. Lawler∗ March 3, 2018 Abstract There have been incredible progress in the last twenty years in the rigorous analysis of planar statistical Conformally Invariant Loop Measures Gregory F. Lawler∗ March 3, 2018 Abstract There have been incredible progress in the last twenty years in the rigorous analysis of planar statistical](https://www.pdfsearch.io/img/62a2de588e0b28a427d25feba83232a8.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-28 17:09:47
|
---|
3![LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi](https://www.pdfsearch.io/img/7d5a9e596a8badb0927d6cf05b3e1708.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
4![LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi](https://www.pdfsearch.io/img/8bc0df47f50af43691c9cbacce0c80c9.jpg) | Add to Reading ListSource URL: sygus.seas.upenn.eduLanguage: English - Date: 2017-07-30 12:55:03
|
---|
5![Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document? Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document?](https://www.pdfsearch.io/img/b9a6b6c37be501e739139d0832c2ebd0.jpg) | Add to Reading ListSource URL: www.gogognome.nlLanguage: English - Date: 2016-04-05 02:15:07
|
---|
6![Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK](https://www.pdfsearch.io/img/624602e088ab7de48803d2706b2850b3.jpg) | Add to Reading ListSource URL: www.macs.hw.ac.ukLanguage: English - Date: 2004-11-10 11:53:13
|
---|
7![Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK . Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK .](https://www.pdfsearch.io/img/3a745e2d0761e24436190fb0c7f4b579.jpg) | Add to Reading ListSource URL: www.macs.hw.ac.ukLanguage: English - Date: 2004-11-10 11:54:07
|
---|
8![Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1 Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1](https://www.pdfsearch.io/img/57218a13633c995d584e189b2ea9cc55.jpg) | Add to Reading ListSource URL: ti.arc.nasa.govLanguage: English |
---|
9![1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi 1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi](https://www.pdfsearch.io/img/0b9f5af5a988b1cf5c0e685c93d84fc0.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
10![Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris](https://www.pdfsearch.io/img/1c036538647bf7b32e8a30d1910cdae0.jpg) | Add to Reading ListSource URL: mehdi.bouaziz.orgLanguage: English - Date: 2014-01-23 20:24:46
|
---|