Articles in Jan 1997 ACM TOPLAS

toplas@cs.umd.edu (ACM TOPLAS)
31 Mar 1997 15:21:38 -0500

          From comp.compilers
Related articles
Articles in Jan 1997 ACM TOPLAS toplas@cs.umd.edu (1997-03-31)
| List of all articles for this month |
From: toplas@cs.umd.edu (ACM TOPLAS)
Newsgroups: comp.compilers
Date: 31 Mar 1997 15:21:38 -0500
Organization: U of Maryland, Dept. of Computer Science, Coll. Pk., MD 20742
Keywords: journal, WWW

The following articles appeared in the January 1997 issue
of TOPLAS (Vol 19, No. 1). Abstracts and full text are available
from
    http://www.acm.org/pubs/contents/journals/toplas/1997-19/


* Precise flow-insensitive may-alias analysis is NP-hard
    Susan Horwitz
    Pages 1-6


* Complementation in abstract interpretation
    Agostino Cortesi, Gilberto File, Francesco Ranzato, Roberto Giacobazzi
     and Catuscia Palamidessi
    Pages 7-47


* Lightweight closure conversion
    Paul A. Steckler and Mitchell Wand
    Pages 48-86


* A practical soft type system for scheme
    Andrew K. Wright and Robert Cartwright
    Pages 87-152


* Implementing signatures for C++
    Gerald Baumgartner and Vincent F. Russo
    Pages 153-187


* Evidence-based static branch prediction using machine learning
    Brad Calder, Dirk Grunwald, Michael Jones, Donald Lindsay, James Martin,
     Michael Mozer and Benjamin Zoren
    Pages 188-223
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.