Periodical (Journal)

ISSN  :   0164-0925 ( Print )   |   1558-4593 ( Online )   Active

Journal ACM Transactions on Programming Languages and Systems (TOPLAS)

Aim & Scope

ACM Transactions on Programming Languages and Systems (TOPLAS) is the premier journal for reporting recent research advances in the areas of programming languages, and systems to assist the task of programming. Papers can be either theoretical or experimental in style, but in either case, they must contain innovative and novel content that advances the state of the art of programming languages and systems. We also invite strictly experimental papers that compare existing approaches, as well as tutorial and survey papers. The scope of TOPLAS includes, but is not limited to, the following subjects: language design for sequential and parallel programming; programming language implementation; programming language semantics; compilers and interpreters; runtime systems for program execution; storage allocation and garbage collection; languages and methods for writing program specifications; languages and methods for secure and reliable programs; testing and verification of programs. [1]

Go to Website

Continuations / Journal History
(  1992  -  1993  ) ACM Letters on Programming Languages and Systems (  1979  -  9999  ) ACM Transactions on Programming Languages and Systems (TOPLAS)
Series / Collection
48 RESULTS in 7 msec
Active ( 2020  -  9999 )   ACM / IMS Transactions on Data Science

2691-1922 ( Print )  2577-3224 ( Online ) 
Association for Computing Machinery (ACM)Institute of Mathematical Statistics (IMS)

8 75
Active ( 2008  -  9999 )   ACM Transactions on Accessible Computing

1936-7228 ( Print )  1936-7236 ( Online ) 
Association for Computing Machinery (ACM)

63 307
Active ( 2005  -  9999 )   ACM Transactions on Algorithms

1549-6325 ( Print )  1549-6333 ( Online ) 
Association for Computing Machinery (ACM)

74 904
Active ( 2004  -  9999 )   ACM Transactions on Applied Perception

1544-3558 ( Print )  1544-3965 ( Online ) 
Association for Computing Machinery (ACM)

77 493
Active ( 2004  -  9999 )   ACM Transactions on Architecture and Code Optimization

1544-3566 ( Print )  1544-3973 ( Online ) 
Association for Computing Machinery (ACM)

81 970
Active ( 2015  -  9999 )   ACM Transactions on Asian and Low-Resource Language Information Processing

2375-4699 ( Print )  2375-4702 ( Online ) 
Association for Computing Machinery (ACM)

48 1007
Inactive ( 2002 - 2014 )   ACM Transactions on Asian Language Information Processing (TALIP)

1530-0226 ( Print )  1558-3430 ( Online ) 
Association for Computing Machinery (ACM)

52 235
Active ( 2006  -  9999 )   ACM Transactions on Autonomous and Adaptive Systems (TAAS)

1556-4665 ( Print )  1556-4703 ( Online ) 
Association for Computing Machinery (ACM)

66 382
Active ( 2009  -  9999 )   ACM Transactions on Computation Theory

1942-3454 ( Print )  1942-3462 ( Online ) 
Association for Computing Machinery (ACM)

54 264
Active ( 2000  -  9999 )   ACM Transactions on Computational Logic (TOCL)

1529-3785 ( Print )  1557-945X ( Online ) 
Association for Computing Machinery (ACM)

92 686
 

2024
9 RESULTS in 19 msec