127 search results - page 12 / 26 » Type-sensitive control-flow analysis |
ACSC
2002
IEEE
15 years 2 months ago
2002
IEEE
We propose a flow-sensitive alias analysis algorithm that computes safe and efficient alias sets in Java. For that, we propose a references-set representation of aliased elements,...
85
Voted
IPAW
2010
14 years 7 months ago
2010
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...
109
click to vote
ESTIMEDIA
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
84
Voted
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...