TOPLAS news (July 1997 issue is posted...)

The July 1997 issue of TOPLAS is available from the TOPLAS home page:
http://www.acm.org/toplas


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:
http://www.acm.org/toplas/jul97.html


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




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
in VHDL
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
--

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