Compositional pointer and escape analysis for Java programs

1999 ◽  
Vol 34 (10) ◽  
pp. 187-206 ◽  
Author(s):  
John Whaley ◽  
Martin Rinard
Keyword(s):  
Escape Analysis ◽  
Java Programs

Thread escape analysis for Java programs based on Soot

2009 ◽  
Author(s):  
Yongxian Jin ◽  
Wei Hu ◽  
Fengzhen Chen ◽  
Gaofeng Che
Keyword(s):  
Escape Analysis ◽  
Java Programs

scholarly journals A thread monitoring system for multithreaded Java programs

2006 ◽  
Vol 41 (5) ◽  
pp. 21-29 ◽  
Author(s):  
Sewon Moon ◽  
Byeong-Mo Chang
Keyword(s):  
Monitoring System ◽  
Java Programs

Verification of MPI Java programs using software model checking

2016 ◽  
Vol 51 (8) ◽  
pp. 1-2
Author(s):  
Waqas Ur Rehman ◽  
Muhammad Sohaib Ayub ◽  
Junaid Haroon Siddiqui
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model ◽  
Java Programs

scholarly journals Enabling static analysis for partial java programs

2008 ◽  
Vol 43 (10) ◽  
pp. 313-328 ◽  
Author(s):  
Barthélémy Dagenais ◽  
Laurie Hendren
Keyword(s):  
Static Analysis ◽  
Java Programs

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions

2015 ◽  
Vol 40 (1) ◽  
pp. 1-5 ◽  
Author(s):  
Peter Anderson ◽  
Nick Vrvilo ◽  
Eric Mercer ◽  
Vivek Sarkar
Keyword(s):  
Java Programs
Sign in / Sign up

Export Citation Format

Share Document