|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 15 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 36 | Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard |
Region inference for an object-oriented language.  |
PLDI  |
2004 |
DBLP DOI BibTeX RDF |
downcasts, method overriding, region inference, type systems, memory management, object-oriented languages |
| 25 | Manu Sridharan, Rastislav Bodík |
Refinement-based context-sensitive points-to analysis for Java. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
refinement, points-to analysis, context-sensitive analysis, demand-driven analysis |
| 25 | Matthew S. Tschantz, Michael D. Ernst |
Javari: adding reference immutability to Java. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Javari, Java, verification, type system, assignable, readonly, immutability, mutable |
| 25 | Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz |
Classbox/J: controlling the scope of change in Java. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
class extension, open-classes, module, package |
| 25 | Adrian Birka, Michael D. Ernst |
A practical type system and language for reference immutability. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
Javari, const, Java, verification, type system, readonly, immutability, mutable |
| 25 | Tiejun Wang, Scott F. Smith 0001 |
Precise Constraint-Based Type Inference for Java. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 25 | Dominic Duggan |
Modular Type-Based Reverse Engineering of Parameterized Types in Java Code. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
Java |
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license