default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems (TOPLAS), Volume 28
Volume 28, Number 1, January 2006
- Yossi Levanoni, Erez Petrank:
An on-the-fly reference-counting garbage collector for java. 1-69 - 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 - Étienne Payet, Frédéric Mesnard:
Nontermination inference of logic programs. 256-289 - Massimo Merro, Matthew Hennessy:
A bisimulation-based semantic theory of Safe Ambients. 290-330 - 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
- Elizabeth Scott, Adrian Johnstone:
Right nulled GLR parsers. 577-618 - 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 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 - Umut A. Acar, Guy E. Blelloch, Robert Harper:
Adaptive functional programming. 990-1034 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-29 22:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
