A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
The case for analysis preserving language transformation
2006
Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentized, it is common for software systems and applications to be implemented in multiple languages. There is thus a strong need for developing analysis tools for multi-language software. We introduce a technique called Analysis Preserving Language Transformation (aplt) that enables the analysis of multi-language software, and
doi:10.1145/1146238.1146260
dblp:conf/issta/ZhangKPWJMZ06
fatcat:hp6vkmfqovfyfjcjlhkbsa2dei