Volume 19,
Number 1,
January 1997
- Susan Horwitz:
Precise Flow-Insensitive May-Alias Analysis is NP-Hard.
1-6 BibTeX
- Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato:
Complementation in Abstract Interpretation.
7-47 BibTeX
- Paul Steckler, Mitchell Wand:
Lightweight Closure Conversion.
48-86 BibTeX
- Andrew K. Wright, Robert Cartwright:
A Practical Soft Type System for Scheme.
87-152 BibTeX
- Gerald Baumgartner, Vincent F. Russo:
Implementing Signatures for C++.
153-187 BibTeX
- Brad Calder, Dirk Grunwald, Michael P. Jones, Donald C. Lindsay, James H. Martin, Michael Mozer, Benjamin G. Zorn:
Evidence-Based Static Branch Prediction Using Machine Learning.
188-222 BibTeX
Volume 19,
Number 2,
March 1997
Volume 19,
Number 3,
May 1997
Volume 19,
Number 4,
July 1997
Volume 19,
Number 5,
September 1997
- Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering:
Toward a Complete Transformational Toolkit for Compilers.
639-684 BibTeX
- Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct.
685-725 BibTeX
- Edmund M. Clarke, Orna Grumberg, Somesh Jha:
Verifying Parameterized Networks.
726-750 BibTeX
- Thomas P. Jensen:
Disjunctive Program Analysis for Algebraic Data Types.
751-803 BibTeX
- Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer:
Mobile Objects in Distributed Oz.
804-851 BibTeX
Volume 19,
Number 6,
November 1997
Copyright © Sun May 17 00:30:21 2009
by Michael Ley (ley@uni-trier.de)
