javac

javac (pronounced "java-see") is the primary Java compiler included in the Java Development Kit (JDK) from Oracle Corporation. The compiler accepts… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1996-2016
02419962016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
We present an approach for describing tests using non-deterministic test generation programs. To write such programs, we… (More)
  • figure 4
  • figure 5
  • figure 6
  • figure 9
  • figure 10
Is this relevant?
Highly Cited
2008
Highly Cited
2008
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult… (More)
  • figure 2
  • figure 5
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
2007
Highly Cited
2007
JastAddJ is a Java compiler that is easy to extend with new analyses and language constructs. The main systems contains a Java 1… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper presents an object-oriented technique for rewriting abstract syntax trees in order to simplify compilation. The… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 9
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This paper presents an empirical comparison of four different techniques for filtering large test suites: test suite minimization… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2003
2003
We describe a methodology for proving theorems mechanically about Java methods. The theorem prover used is the ACL2 system, an… (More)
Is this relevant?
2002
2002
Java virtual machines execute Java bytecode instructions. Since this bytecode is a higher level representation than traditional… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Conventional compilers are designed for producing highly optimized code without paying much attention to compile time. The design… (More)
  • table 1
  • figure 2
  • figure 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1997
Highly Cited
1997
he Java programming language promises portable, secure execution of applications. Early Java implementations relied on… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?