May 1997 issue of TOPLAS is now on-line (ACM TOPLAS)
30 May 1997 23:19:45 -0400

          From comp.compilers

Related articles
May 1997 issue of TOPLAS is now on-line (1997-05-30)
| List of all articles for this month |

Newsgroups: comp.compilers
Date: 30 May 1997 23:19:45 -0400
Organization: U of Maryland, Dept. of Computer Science, Coll. Pk., MD 20742
Keywords: journal, bibliography

With 32 hours to spare, the May 1997 issue of TOPLAS went on-line
during the month of May. Paper copies should be received by
subscribers within a month or so.

Until the ACM database catches up, the table of contents
for the May issue and links to the full text are available at:

Here are the articles:

      On the use of Regular Expressions for Searching Text
      Charles L. A. Clarke and Gordon V. Cormack
      Pages 413-426

      Kleene Algebra with Tests
      Dexter Kozen
      Pages 427-443

      Formal Derivation of Efficient Parallel Programs by Construction of
List Homomorphisms
      Zhenjiang Hu, Hideya Iwasaki and Masato Takeichi
      Pages 444-461

      Optimal Control Dependence Computation and the Roman Chariots Problem
      Keshav Pingali and Gianfranco Bilardi
      Pages 462-491

      Specifying Representations of Machine Instructions
      Norman Ramsey and Mary F. Fernandez
      Pages 492-524

      Slicing Real-Time Programs for Enhanced Schedulability
      Richard Gerber and Seongsoo Hong
      Pages 525-555

Post a followup to this message

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