Integration of semantic verication into Java compilers by A. V. Klepinin, A. A. Melentyev

Subjects: Get full text

NOTE ON HYMENODICTYON (RUB.) AND ITS OCCURRENCE IN MALESIA, ESPECIALLY IN WEST JAVA by C. G. G. J. VAN STEENIS

Get full text

Socio-economic impacts of land degradation at Gunungsari Village of Tlogowungu District, Pati Regency, Central Java by C Y Lastiantoro

Get full text

Cambridge Rocketry Simulator – A Stochastic Six-Degrees-of-Freedom Rocket Flight Simulator by Willem J. Eerland, Simon Box, András Sóbester

Get full text

ReCrash: Making Crashes Reproducible by Kim, Sunghun, Artzi, Shay, Ernst, Michael D.

“…If the program crashes, ReCrash saves information about the relevant method calls and uses the saved information to create unit tests reproducing the crash.We present reCrashJ an implementation of ReCrash for Java. reCrashJ reproducedreal crashes from javac, SVNKit, Eclipse JDT, and BST. reCrashJ is efficient, incurring 13%-64% performance overhead. …”
Get full text

DisBlue+: A distributed annotation-based C# compiler by Samir E. AbdelRahman, Amr M. AbdelLatif

“…To test their efficiencies, Blue+ and DisBlue+ were verified with large-size codes against some existing compilers namely Javac, DJavac, and CDjava.…”
Get full text

Supporting Java programming in the Svace static analyzer by A. P. Merkulov, S. A. Polyakov, A. A. Belevantsev

“…We achieve this goal with implementing our custom Java agent that instruments all calls to the compiler API and notifies the analyzer with the actual compilation parameters. Second, the modified Javac compiler builds the analyzer IR. The changes we made to the compiler include avoiding unnecessary bytecode duplication for easier mapping of bytecode instructions to source code and properly marking the code added by the compiler itself. …”
Get full text