图书馆主页
数据库简介
最新动态
联系我们



返回首页


 刊名字顺( Alphabetical List of Journals):

  A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|ALL


  检 索:         高级检索

期刊名称:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

ISSN:0164-0925
版本:SCI-CDE
出版频率:Bimonthly
出版社:ASSOC COMPUTING MACHINERY, 1515 BROADWAY, NEW YORK, NY, 10036
  出版社网址:http://www.acm.org/
期刊网址:http://www.cs.wustl.edu/~toplas/
影响因子:1.444(2008)
主题范畴:COMPUTER SCIENCE, SOFTWARE ENGINEERING

期刊简介(About the journal)    投稿须知(Instructions to Authors)    编辑部信息(Editorial Board)   



About the journal

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.


Instructions to 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.

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

Please report any problems to Mike Henrichs. We will acknowledge your submission within a week. If you do not receive acknowledgement, contact the Editor-in-Chief. Paper submissions (one copiy, to the Editor-in-Chief) are also acceptable, but cannot be processed as efficiently. Papers will be refereed in the manner customary with scientific journals before being accepted for publication.

Manuscripts may be submitted as Short Communications, in which the authors explain an interesting new idea with a maximum of clarity and a minimum of verbiage, not to exceed 5000 words.

For more information regarding electronically submitting accepted articles to TOPLAS follow this link to ACM.

LaTeX style files

Authors submitting papers in LaTeX may want to use these style files to format their documents.

We now have style files that work with LaTeX2e. Authors are encouraged to make the switch to using LaTeX2e.

When put up on the web, TOPLAS articles are processed with the hyperref package to automatically link citations to the bibliography, figure citations to figures, and so on. The hyperref package also allows embedded URL's in LaTeX documents.

Convert LaTeX documents to PDF

TOPLAS articles are available PDF format from

http://www.acm.org/dl

There are a number of issues associated with doing a good translation of LaTeX to PDF, described in another web page.

Reprints

Authors may order reprints of papers as they are published, for a fee. No reprints are provided free of charge.


Editorial Board

Editor-in-Chief

Ron K. Cytron
Professor, Computer Science and Engineering
525 Bryan Hall
School of Engineering and Applied Science
Washington University Box 1045
cytron@cs.wustl.edu
Voice: +1 314 935 7527
Fax: +1 314 935 7302
Postal: Washington University Box 1045
Department of Computer Science and Engineering
One Brookings Drive
St. Louis, MO 63130

E-mail: toplas@acm.org

Associate Editors

Who Where Since
Martin Abadi University of California, Santa Cruz Jun 2003
Vikram Adve University of Illinois, Urbana-Champaign Jun 2003
Brent Hailpern IBM T.J. Watson Research Labs May 2001
Mary Jean Harrold Georgia Institute of Technology Aug 2001
Joxan Jaffar School of Computing, National University of Singapore Jun 2003
Neil Jones DIKU (Datalogisk Institut Kebenhavns Universitet) Nov 2000
Greg Morrisett Cornell University Aug 1998
Jens Palsberg Purdue University Jun 2003
Benjamin Pierce University of Pennsylvania Aug 1998
Barbara Ryder Rutgers University Aug 2001
Ben Zorn Microsoft Research Jul 2001



 返回页首 


邮编:430072   地址:中国武汉珞珈山   电话:027-87682740   管理员Email:
Copyright © 2005-2006 武汉大学图书馆版权所有