4722 search results - page 367 / 945 » Representation-independent program analysis |
269
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
227
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
152
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
165
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
181
click to vote
IWSAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Certain problems in which the environment is not well constrained do not lend themselves to a conventional open loop solution. Image understanding is such a problem domai...