Typestate analysis

Results: 4



#Item
1Typestate-like Analysis of Multiple Interacting Objects Nomair A. Naeem Ondˇrej Lhot´ak  D. R. Cheriton School of Computer Science

Typestate-like Analysis of Multiple Interacting Objects Nomair A. Naeem Ondˇrej Lhot´ak D. R. Cheriton School of Computer Science

Add to Reading List

Source URL: plg.uwaterloo.ca

Language: English - Date: 2008-10-22 10:01:40
    2Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1

    Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1

    Add to Reading List

    Source URL: www.cs.technion.ac.il

    Language: English - Date: 2010-01-27 15:57:10
    3Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States ∗ Eric Bodden

    Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States ∗ Eric Bodden

    Add to Reading List

    Source URL: www.bodden.de

    Language: English - Date: 2010-02-14 13:25:15
    4Effective Typestate Verification in the Presence of Aliasing Stephen Fink∗ ∗ Eran Yahav∗ Nurit Dor†

    Effective Typestate Verification in the Presence of Aliasing Stephen Fink∗ ∗ Eran Yahav∗ Nurit Dor†

    Add to Reading List

    Source URL: www.cs.technion.ac.il

    Language: English - Date: 2006-07-26 21:44:02