A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
This approach has been shown to work well when applied to bytecode produced from Java code. ... JVM bytecode. ... ACKNOWLEDGMENTS We are grateful to Laurie Hendren for helpful suggestions. ...doi:10.1109/tse.2019.2956925 fatcat:kzzsh5a3qjdsbn225ueagoeoya
Lecture Notes in Computer Science
This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. ... Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. ... We would like to facilitate the transfer of annotations from Java source to Java bytecode and then to IR, and the transfer of analysis results in the opposite direction. ...doi:10.1007/978-3-642-18070-5_7 fatcat:iqaaetrar5gphmiminytzdldwi
In 1997, as a response to Java, Microsoft initiated internal projects which eventually became the .NET programming framework and the C# language. ... The development of the core features of F# 1.0 happened from 2004-2007, and I describe the decision-making process that led to the łproductizationž of F# by Microsoft in 2007-10 and the release of F# 2.0 ... via the shift to open source engineering and design from 2011 to 2014. ...doi:10.1145/3386325 fatcat:lk7zpwvyzfdc5gkscsmqmnze2e