Sciweavers

93
Voted
PROCOMET
1998
15 years 5 days 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
92
Voted
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
15 years 4 months 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