Sciweavers

196 search results - page 1 / 40
» Extended Static Checking for Java
Sort
View
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
14 years 14 days ago
Extended Static Checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
Greg Nelson
PROCOMET
1998
13 years 8 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
STTT
2010
126views more  STTT 2010»
13 years 5 months ago
Towards an industrial grade IVE for Java and next generation research platform for JML
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
Patrice Chalin, Robby, Perry R. James, Jooyong Lee...
ASWEC
2001
IEEE
13 years 10 months ago
Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
Cyrille Artho, Armin Biere