Java

Known as: Java Programing Languge, Java games, Java Posse 
Java is a general-purpose computer programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1935-2018
01000200019352017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
JML is a behavioral interface specification language tailored to Java(TM). Besides pre- and postconditions, it also allows… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
class M implements I { abstract void _super_m (); abstract void _this_n (); public int count; public void m () { ++count; ‡This… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Open source software encourages innovation by allowing users to extend the functionality of existing applications. Treeview is a… (More)
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper describes the new Java memory model, which has been revised as part of Java 5.0. The model specifies the legal… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper presents Korat, a novel framework for automated testing of Java programs. Given a formal specification for a method… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 8
  • figure 10
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper describes a translator called Java PathFinder (Jpf), which translates from Java to Promela, the modeling language of… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Several recent studies have introduced lightweight ver sions of Java reduced languages in which complex fea tures like threads… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
When writing can change your life, when writing can enrich you by offering much money, why don't you try it? Are you still very… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
methods and native methods are considered to be type safe if they do not override a final method. methodIsTypeSafe(Class, Method… (More)
  • table 2.1
  • table 2.2
  • table 2.3
  • table 4.1
  • table 4.2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
class RawMembers<T> extends NonGeneric implements Collection<String> { static Collection<NonGeneric> cng = new ArrayList… (More)
  • table 4.2
  • table 5.5
  • table 5.5
Is this relevant?