TOPLAS news (July 1997 issue is posted...) (ACM TOPLAS)
7 Aug 1997 15:24:37 -0400

          From comp.compilers

Related articles
TOPLAS news (July 1997 issue is posted...) (1997-08-07)
| List of all articles for this month |

Newsgroups: comp.compilers
Date: 7 Aug 1997 15:24:37 -0400
Organization: U of Maryland, Dept. of Computer Science, Coll. Pk., MD 20742
Keywords: journal, available

The July 1997 issue of TOPLAS is available from the TOPLAS home page:

The table of contents for the July issue is at the bottom of
this message.

Unfortunately, things at ACM HQ are still behind schedule, and the
July articles aren't yet in the table-of-contents generated by
ACM. Currently, I've manually created on-line table-of-contents for
july issues, which is at:

A couple of other important news items:

The ACM digital library is having an open house until September 30th.
Anyone is allowed access to the full text of ACM journal and conferences.
They have the full text of most journals and conferences on-line, going
back to 1991 (excluding 1997 conferences). In addition to TOPLAS, the
site includes the full text for the following journals in the area of
programming languages:

    Functional Programming Languages and Computer Architecture. 1993 & 1995

    Programming Language Design and Implementation. 1991-1996

    Principles of Programming Languages, 1991-1996

    Partial Evaluation and Semantics-based Program Manipulation, 1991-1996

The full text of many TOPLAS articles are in PDF version 1.2, which requires
version 3.0 of Adobe Acrobat Reader, or version 5.01 of Aladdin Ghostscript. If
you are using version 2.1 of Acrobat Reader, you will just get an error message
when you try to view those files.

Almost all of the 1997 papers have been prepared in LaTeX using the hyperref
style package. The citations link to the bibliography, and figure and section
references link to the figures and sections and bookmarks have been created
for section headings. Bibliography entries to ACM journals and conferences
published in 1985 or later link to the ACM citation page for the article. For
papers 1991 and later, this citation page links to the full text of
the article. A good paper to examine to see this is Debray and Proebsting
July 1997 paper; 10 of the bibliography entries have links to ACM citation

Table of Contents for TOPLAS Vol. 19, No. 4 (July 1997)

Nesting of Reducible and Irreducible Loops
Paul Havlak
Pages 557-567

Interprocedural Control-Flow Analysis of First-Order Programs with
Tail-Call Optimization
Saumya K. Debray and Todd A. Proebsting
Pages 568-585

A Refinement Calculus for the Synthesis of Verified Hardware Descriptions
Peter T. Breuer, Carlos Delgado Kloos, Andres Marin Lopez,
Natividad Martinez Madrid, Luis Sanchez Fernandez
Pages 586-616

Utilizing Symmetry when Model-Checking under Fairness
E. A. Emerson and A. P. Sistla
Pages 617-638

Post a followup to this message

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