Articles in Jan 1997 ACM TOPLAS (ACM TOPLAS)
31 Mar 1997 15:21:38 -0500

          From comp.compilers

Related articles
Articles in Jan 1997 ACM TOPLAS (1997-03-31)
| List of all articles for this month |

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

* 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.