ACM TOPLAS presents research results on all aspects of the design, definition, implementation, and use of programming languages and programming systems. It is a peer-reviewed journal, published 6 times a year by ACM.

On-line resources

Tables of Contents

• From 1985 on, with abstracts, reviews, and full articles from 1991 on
• Full text of articles is available in either postscript or PDF format. Some articles in PDF format are in PDF version 1.2, which require 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.
• Table of contents only, but going back to Vol. 1
• In BiBTeX format

Search through abstracts of all ACM journals

Electronic Appendices

Some papers printed in the journal have appendices, benchmarks, raw data and other information on-line. This information is archived by ACM.

ACM Digital Library

ACM Journals web page

Other On-line resources on Programming Languages

• ACM Special Interest Group on Programming Languages
• Programming Language Research page maintained by Mark Leone (mleone@cs.cmu.edu)
• SIGPLAN Notices
• comp.lang.sigplan - USENET news group for SIGPLAN announcements

Subscriptions

$45 per year (six issues) for ACM Members, $185 for nonmembers. You can subscribe by:

• the web
• calling 1-800-342-6626 (outside the U.S., 1-212-626-0500), or
• sending email to acmhelp@acm.org (or acm_europe@acm.org).

Information for authors

The scope of TOPLAS includes:

• programming languages and their semantics;
• programming systems - systems to assist the programming task, such as
• compilers,
• runtime systems, and
• language environments
• storage allocation and garbage collection;
• languages and methods for writing specifications;
• testing and verification methods; and
• algorithms specifically related to the implementation of language processors.

Most articles are prepared from author's LaTeX

For all the other ACM transactions, papers are re-typed from a printed copy of the paper. While some TOPLAS papers are prepared this way, most are generated from the author's LaTeX source.

There is a set of LaTeX style/class files that automate much of the process of converting articles to ACM Transactions format. These files are currently (as of March 1997) doing a bit of evolution, so as to work with LaTeX 2e and with the hyperref style file (the hyperref style file will allow embedding hyperlinks and will automatically link citations to bibliography entries and link section and figure references to the actual section/figures). LaTeX wizard help would be appreciated.

Well an author has pointed out that better style files can be found at here

All TOPLAS articles are web posted in PDF format. There are a number of issues related to preparing good PDF from a LaTeX document (such as using postscript, rather than bitmap, font representations). For now, we are planning to generate the PDF from the author's LaTeX here at the TOPLAS editorial office in Maryland.

How to submit to TOPLAS (Revised)

The people behind TOPLAS

Editor-in-Chief

Ron Cytron (appointed 2001),

Washington University

Department of Computer Science

E-mail: toplas@acm.org

Traffic Manager

Associate Editors