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

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

ACM and TOPLAS have strict rules concerning publication of any material that has appeared elsehwere. This includes portions of a manuscript that is otherwise original material.

• Policy on prior publication and simultaneous submission
• Policy on plaigiarism, including self plagiarism

To address any concerns in this area, we insist that all manuscripts have: have

• Accurate citations for all material, including material published by the manuscript's authors.
• A cover letter documenting where any prior version of the submitted material may have appeared, whether it be thesis, workshop, conference, or journal.

  Manuscripts are not rejected only because an earlier version has been published. Manuscripts will be rejected for failure to include the above so that the contribution of the manuscript can be fairly evaluated.

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