Static analysis for checking data format compatibility of programsPranavadatta DevakiAditya Kanade2012FSTTCS 2012