5 Hits in 2.7 sec

A Study of Call Graph Construction for JVM-Hosted Languages

Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhotak, Julian Dolby, Frank Tip
2019 IEEE Transactions on Software Engineering  
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

Sawja: Static Analysis Workshop for Java [chapter]

Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
2011 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

The early history of F#

Don Syme
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
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

Effect-driven QuickChecking of compilers

Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson
2017 Proceedings of the ACM on Programming Languages  
One approach is to generate programs following the grammar of the language.  ...  But in a statically-typed language such as OCaml too many of these candidate programs will be rejected as ill-typed by the type checker.  ...  For OCaml alone, several such implementations exist (js_of_ocaml, Bloomberg's BuckleScript OCaml-to-JavaScript compiler, OCaml-Java, ocamlcc, . . . ).  ... 
doi:10.1145/3110259 dblp:journals/pacmpl/MidtgaardJKNN17 fatcat:2dlqab4ybzde7bqdoehifnhdam


Benjamin Canou, Vincent Balat, Emmanuel Chailloux
2008 Proceedings of the 2008 ACM SIGPLAN workshop on ML - ML '08  
To achieve this, we designed a byte-code interpreter in JavaScript, as well as an implementation of the run-time library.  ...  We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency.  ...  ML Applets is to use a compiler from ML to Java.  ... 
doi:10.1145/1411304.1411315 dblp:conf/ml/CanouBC08 fatcat:grp6meez6reznfscezk4c2ccfi