default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems (TOPLAS), Volume 24
Volume 24, Number 1, January 2002
- PeiZong Lee, Zvi M. Kedem:
Automatic data and computation decomposition on distributed memory parallel computers. 1-50 - Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
An assume-guarantee rule for checking simulation. 51-64 - Yunheung Paek, Jay P. Hoeflinger, David A. Padua:
Efficient and precise array access analysis. 65-109
Volume 24, Number 2, March 2002
- Kathleen Fisher, Benjamin C. Pierce:
Guest editorial. 111 - Christopher League
, Zhong Shao, Valery Trifonov:
Type-preserving compilation of Featherweight Java. 112-152 - Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
More dynamic object reclassification: Fickle||. 153-191
Volume 24, Number 3, May 2002
- J Strother Moore, George Porter:
The apprentice challenge. 193-216 - Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm:
Parametric shape analysis via 3-valued logic. 217-298
Volume 24, Number 4, July 2002
- Sebastian Unger, Frank Mueller:
Handling irreducible loops: optimized node splitting versus DJ-graphs. 299-333 - Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier:
Compiling language definitions: the ASF+SDF compiler. 334-368 - Christian S. Collberg:
Automatic derivation of compiler machine descriptions. 369-408 - Marta Jiménez, José M. Llabería, Agustín Fernández:
Register tiling in nonrectangular iteration spaces. 409-453
Volume 24, Number 5, September 2002
- G. Ramalingam:
On loops, dominators, and dominance frontiers. 455-490 - K. Rustan M. Leino, Greg Nelson:
Data abstraction and information hiding. 491-553 - Arthur Charlesworth:
The undecidability of associativity and commutativity analysis. 554-565 - Matthew Hennessy, James Riely:
Information flow vs. resource access in the asynchronous pi-calculus. 566-591
Volume 24, Number 6, November 2002
- Martin Hirzel, Amer Diwan, Johannes Henkel:
On the usefulness of type and liveness accuracy for garbage collection and leak detection. 593-624 - Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, David Streeter:
Practical extraction techniques for Java. 625-666 - Minghui Yang, Gang-Ryung Uh, David B. Whalley:
Efficient and effective branch reordering using profile data. 667-697 - Rafael Corchuelo, José Antonio Pérez, Antonio Ruiz Cortés, Miguel Toro:
Repairing syntax errors in LR parsers. 698-710 - Dominic Duggan:
Type-Safe linking with recursive DLLs and shared libraries. 711-804
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 2024-10-12 22:49 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:
