Typestate analysis
Results: 4
# | Item |
---|---|
1 | Typestate-like Analysis of Multiple Interacting Objects Nomair A. Naeem Ondˇrej Lhot´ak D. R. Cheriton School of Computer ScienceAdd to Reading ListSource URL: plg.uwaterloo.caLanguage: English - Date: 2008-10-22 10:01:40 |
2 | Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1Add to Reading ListSource URL: www.cs.technion.ac.ilLanguage: English - Date: 2010-01-27 15:57:10 |
3 | Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States ∗ Eric BoddenAdd to Reading ListSource URL: www.bodden.deLanguage: English - Date: 2010-02-14 13:25:15 |
4 | Effective Typestate Verification in the Presence of Aliasing Stephen Fink∗ ∗ Eran Yahav∗ Nurit Dor†Add to Reading ListSource URL: www.cs.technion.ac.ilLanguage: English - Date: 2006-07-26 21:44:02 |