378 search results - page 15 / 76 » Automation of Java Code Analysis for Programming Exercises |
TGC
2010
Springer
13 years 5 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
SAS
1999
Springer
13 years 11 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
— Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in ...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...