12272 search results - page 281 / 2455 » Experimental program analysis |
191
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
185
click to vote
CSREAESA
2004
15 years 8 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
170
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely...
173
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
163
click to vote
SAS
1991
Springer
15 years 10 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...