Loop invariant

Results: 48



#Item
1Static 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

Add to Reading List

Source URL: dacongy.github.io

Language: English - Date: 2017-06-27 01:04:15
2Conformally 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

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-28 17:09:47
3LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi

LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
4LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi

LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi

Add to Reading List

Source URL: sygus.seas.upenn.edu

Language: English - Date: 2017-07-30 12:55:03
    5Let 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?

    Add to Reading List

    Source URL: www.gogognome.nl

    Language: English - Date: 2016-04-05 02:15:07
    6Automation 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

    Add to Reading List

    Source URL: www.macs.hw.ac.uk

    Language: English - Date: 2004-11-10 11:53:13
    7Invariant 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 .

    Add to Reading List

    Source URL: www.macs.hw.ac.uk

    Language: English - Date: 2004-11-10 11:54:07
    8Constructing 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

    Add to Reading List

    Source URL: ti.arc.nasa.gov

    Language: English
    91  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

    Add to Reading List

    Source URL: www.olejohandahl.info

    Language: English - Date: 2013-09-23 13:44:35
    10Inference 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

    Add to Reading List

    Source URL: mehdi.bouaziz.org

    Language: English - Date: 2014-01-23 20:24:46