Search results for "javac"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Nomair A. Naeem, Laurie J. Hendren	Programmer-friendly Decompiled Java.	ICPC	2006	DBLP DOI BibTeX RDF
47	Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst	Enforcing reference and object immutability in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac
39	Mirko Streckenbach, Gregor Snelting	Refactoring class hierarchies with KABA.	OOPSLA	2004	DBLP DOI BibTeX RDF	refactoring
39	Jerome Miecznikowski, Laurie J. Hendren	Decompiling Java Bytecode: Problems, Traps and Pitfalls.	CC	2002	DBLP DOI BibTeX RDF
27	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
27	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
27	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
27	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
27	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
19	Nabil El Boustani, Jurriaan Hage	Corrective hints for type incorrect generic Java programs.	PEPM	2010	DBLP DOI BibTeX RDF	compilers, heuristics, error correcting, type checking, java generics, error reporting
19	Milos Gligoric 0001, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov	Test generation through programming in UDITA.	ICSE (1)	2010	DBLP DOI BibTeX RDF	Pex, UDITA, test filtering, test predicates, test generation, automated testing, test programs, Java PathFinder
19	Nabil El Boustani, Jurriaan Hage	Improving type error messages for generic java.	PEPM	2009	DBLP DOI BibTeX RDF	compilers, type checking, java generics, error reporting
19	Kumar Shiv, Kingsum Chow, Yanping Wang, Dmitry Petrochenko	SPECjvm2008 Performance Characterization.	SPEC Benchmark Workshop	2009	DBLP DOI BibTeX RDF	Java Performance, Workload Characterization, SPEC
19	Shay Artzi, Sunghun Kim 0001, Michael D. Ernst	ReCrash: Making Software Failures Reproducible by Preserving Object States.	ECOOP	2008	DBLP DOI BibTeX RDF	test generation, object, failure, Fault, bug, replay, reproducing, capture, crash
19	Torbjörn Ekman 0001, Görel Hedin	The jastadd extensible java compiler.	OOPSLA	2007	DBLP DOI BibTeX RDF	declarative frameworks, java, compilers, OOP, modularity, extensibility
19	Torbjörn Ekman 0001, Görel Hedin	The JastAdd extensible Java compiler.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	declarative frameworks, Java, compilers, OOP, modularity, extensibility
19	James Sasitorn, Robert Cartwright	Component nextgen: a sound and expressive component framework for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	custom class loader, first-class generics, java implementation, components, signatures, modules
19	Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst	Tools for enforcing and inferring reference immutability in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable
19	James Sasitorn, Robert Cartwright	Deriving components from genericity.	SAC	2007	DBLP DOI BibTeX RDF	Java implementation, custom class loader, first-class generics, components, signatures, modules
19	Andrew R. Dalton, Cindy Norris	An experimental evaluation of a distributed Java compiler.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF
19	Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter	Adding wildcards to the Java programming language.	SAC	2004	DBLP DOI BibTeX RDF	genericity, wildcards, parameterized types
19	Maria Jump, Stephen M. Blackburn, Kathryn S. McKinley	Dynamic object sampling for pretenuring.	ISMM	2004	DBLP DOI BibTeX RDF	dynamic pretenuring, object sampling, garbage collection, memory management
19	David Leon, Andy Podgurski	A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases.	ISSRE	2003	DBLP DOI BibTeX RDF
19	J Strother Moore, George Porter	The apprentice challenge.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation
19	Bob Lang	Teaching new programmers: a Java tool set as a student teaching aid.	PPPJ/IRE	2002	DBLP BibTeX RDF	Java
19	Gagan Agrawal, Jinqian Li, Qi Su	Evaluating a Demand Driven Technique for Call Graph Construction.	CC	2002	DBLP DOI BibTeX RDF
19	Chia-Tien Dan Lo, J. Morris Chang, Ophir Frieder, David A. Grossman	The Object Behavior of Java Object-Oriented Database Management Systems.	ITCC	2002	DBLP DOI BibTeX RDF	Java DBMS, object-oriented programming, garbage collection, Java Virtual Machine, dynamic memory management