Results 21 to 30 of about 3,154 (147)
Linguistic Reflection in Java [PDF]
, 1998 Reflective systems allow their own structures to be altered from within. Here we are concerned with a style of reflection, called linguistic reflection, which is the ability of a running program to generate new program fragments and to integrate these ...
Kirby, G. N. C. +2 more
core +4 more sources
Improving type error messages for generic Java [PDF]
Higher-Order and Symbolic Computation, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nabil El Boustani, Jurriaan Hage
openaire +5 more sources
JSKETCH: Sketching for Java [PDF]
, 2015 Sketch-based synthesis, epitomized by the SKETCH tool, lets developers synthesize software starting from a partial program, also called a sketch or template. This paper presents JSKETCH, a tool that brings sketch-based synthesis to Java.
Foster, Jeffrey S. +3 more
core +2 more sources
, 2018 Programming languages and platforms improve over time, sometimes resulting in new language features that offer many benefits. However, despite these benefits, developers may not always be willing to adopt them in their projects for various reasons.
Khatchadourian, Raffi +1 more
core +3 more sources
jPET: An Automatic Test-Case Generator for Java [PDF]
2011 18th Working Conference on Reverse Engineering, 2011 We present jPET, a white box test-case generator (TCG) which can be used during software development of Java applications within the Eclipse environment. jPET builds on top of PET, a TCG which automatically obtains test-cases from the byte code associated to a Java program.
Elvira Albert +4 more
openaire +1 more source
Refactoring for parameterizing Java classes [PDF]
, 2006 Type safety and expressiveness of many existing Java libraries and theirclient applications would improve, if the libraries were upgraded to definegeneric classes. Efficient and accurate tools exist to assist clientapplications to use generics libraries,
Ernst, Michael D. +3 more
core +2 more sources
Using Java for distributed computing in the Gaia satellite data processing [PDF]
, 2011 In recent years Java has matured to a stable easy-to-use language with the flexibility of an interpreter (for reflection etc.) but the performance and type checking of a compiled language.
Hernandez, Jose +5 more
core +2 more sources
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
, 2014 OpenJML is a tool for checking code and specifications of Java programs. We describe our experience building the tool on the foundation of JML, OpenJDK and Eclipse, as well as on many advances in specification-based software verification.
Cok, David R.
core +2 more sources
Evaluation of Java for General Purpose GPU Computing [PDF]
2013 27th International Conference on Advanced Information Networking and Applications Workshops, 2013 [Abstract] The presence of many-core units as accelerators has been increasing due to their ability to improve the performance of highly parallel workloads. General Purpose GPU(GPGPU) computing has allowed the graphical units to emerge as successful co-processors that can be employed to improve the performance of many different non-graphical ...
Jorge Docampo +5 more
openaire +2 more sources
Automatically Generating Documentation for Lambda Expressions in Java [PDF]
2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019 When lambda expressions were introduced to the Java programming language as part of the release of Java 8 in 2014, they were the language's first step into functional programming. Since lambda expressions are still relatively new, not all developers use or understand them.
Anwar Alqaimi +2 more
openaire +3 more sources