Dataflow Analysis for Datarace-Free Programs.

Arnab De Deepak D'Souza Rupesh Nasre

Published in: ESOP (2011)

Keyphrases

information technology
evolutionary algorithm
logic programs
quantitative analysis
real time
data sets
case study
three dimensional
multiresolution
statistical analysis