165 search results - page 4 / 33 » Static Analysis of Students' Java Programs |
ECOOP
2005
Springer
14 years 28 days ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
CADE
2011
Springer
12 years 7 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
We have designed a series of computer sessions build around ImageJ (a public-domain software for image analysis), as a practical complement to a two-semester course in image proce...
IWPC
2006
IEEE
14 years 1 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...