May 1997 issue of TOPLAS is now on-line

toplas@cs.umd.edu (ACM TOPLAS)
30 May 1997 23:19:45 -0400

          From comp.compilers
Related articles
May 1997 issue of TOPLAS is now on-line toplas@cs.umd.edu (1997-05-30)
| List of all articles for this month |
From: toplas@cs.umd.edu (ACM TOPLAS)
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:


http://www.acm.org/toplas/may97.html


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.