Volume 28, Number 1, January 2006
- Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani: EDO: Exception-directed optimization in java. 70-105
- Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani: Effective sign extension elimination for java. 106-133
- Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani: A region-based compilation technique for dynamic compilers. 134-174
- Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider: Computability classes for enforcement mechanisms. 175-205
Volume 28, Number 2, March 2006
- Martín Abadi, Cormac Flanagan, Stephen N. Freund: Types for safe locking: Static race detection for Java. 207-255
- Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Roel Wuyts, Andrew P. Black: Traits: A mechanism for fine-grained reuse. 331-388
Volume 28, Number 3, May 2006
- Stijn Vansummeren: Type inference for unique pattern matching. 389-428
- Dan Grossman: Quantified types in an imperative language. 429-475
- Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic: Generating object lifetime traces with Merlin. 476-516
- Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers: MultiJava: Design rationale, compiler implementation, and applications. 517-575
Volume 28, Number 4, July 2006
- Gerwin Klein, Tobias Nipkow: A machine-checked model for a Java-like language, virtual machine, and compiler. 619-695
- Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde: Fast partial evaluation of pattern matching in strings. 696-714
- Richard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Message analysis for concurrent programs using message passing. 715-746
- Raymond T. Boute: Calculational semantics: Deriving programming theories from equations by functional predicate calculus. 747-793
Volume 28, Number 5, September 2006
- Atsushi Igarashi, Mirko Viroli: Variant parametric types: A flexible subtyping scheme for generics. 795-847
- Pramod G. Joisha, Prithviraj Banerjee: An algebraic array shape inference system for MATLAB. 848-907
- Tim Brecht, Eshrat Arjomandi, Chang Li, Hang Pham: Controlling garbage collection and heap growth to reduce the execution time of Java applications. 908-941
- Seon Wook Kim, Chong-liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar: Exploiting reference idempotency to reduce speculative storage overflow. 942-965
Volume 28, Number 6, November 2006
- Rajeev Joshi, Greg Nelson, Yunhong Zhou: Denali: A practical algorithm for generating optimal code. 967-989
- Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken: Flow-insensitive type qualifiers. 1035-1087
- Mangala Gowri Nanda, S. Ramesh: Interprocedural slicing of multithreaded programs with applications to Java. 1088-1144
- Daniel J. Rosenkrantz, Lenore M. R. Mullin, Harry B. Hunt III: On minimizing materializations of array-valued temporaries. 1145-1177
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team