129 search results - page 15 / 26 » Cost Analysis of Java Bytecode |
128
click to vote
EPIA
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
106
click to vote
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
113
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
152
click to vote
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
128
click to vote
RTA
2007
Springer
15 years 7 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...