165 search results - page 4 / 33 » Static Analysis of Students' Java Programs |
109
Voted
ECOOP
2005
Springer
15 years 6 months 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 ...
195
Voted
CADE
2011
Springer
14 years 1 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...
235
Voted
POPL
2007
ACM
16 years 1 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...
113
Voted
ICIP
2001
IEEE
16 years 2 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...
87
Voted
IWPC
2006
IEEE
15 years 7 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...