Up a level |
Devaki, Pranavadatta and Kanade, Aditya (2012) Static analysis for checking data format compatibility of programs. In: FSTTCS 2012 : IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, December 15 to 17, 2012, Hyderabad, India.