Aims and Scope
The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly peer-reviewed scientific journal on programming languages published by the Association for Computing Machinery since 1979. The current editor-in-chief is Andrew Myers. Its scope includes programming language design, implementation, and semantics of programming languages, compilers and interpreters, run-time systems, storage allocation and garbage collection, and formal specification, testing, and verification of software.
Key Metrics
3
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
Q3
Software
SJR
- Q3 Software
SJR
SJR
SCImago Journal Rank measures weighted citations received by the serial. Citation weighting depends on subject field and prestige (SJR) of the citing serial.
1
SNIP
SNIP
Source Normalized Impact per Paper measures actual citations received relative to citations expected for the serial’s subject field.
Indexed in the following public directories
-
Scopus -
Web of Science
Topics Covered
- Domain-specific language
- Machine code
- Program behavior
- Program transformation
- Operational semantics
- Distributed algorithm
- Static analysis
- Calculus
Journal Specifications
Overview
- Publisher ACM
- Language English
- Frequency Quarterly
General Details
- Language English
- Frequency Quarterly
- Publication Start Year 1979
- Publisher URL Visit website
Planning to publish in ACM Transactions on Programming Languages and Systems ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperRecently Published Papers
-
Full paper
Towards Porting Operating Systems with Program Synthesis
- 3 Mar 23
- ACM Transactions on Programming Languages and Systems
-
Full paper
Immutability and Encapsulation for Sound OO Information Flow Control
- 3 Mar 23
- ACM Transactions on Programming Languages and Systems
-
Full paper
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models
- 3 Mar 23
- ACM Transactions on Programming Languages and Systems
-
Full paper
The Tortoise and the Hare Algorithm for Finite Lists, Compositionally
- 3 Mar 23
- ACM Transactions on Programming Languages and Systems
-
Full paper
A First-Order Logic with Frames
- 9 Feb 23
- ACM Transactions on Programming Languages and Systems
-
Full paper
Omnisemantics: Smooth Handling of Nondeterminism
- 24 Jan 23
- ACM Transactions on Programming Languages and Systems
Scite analysis
Powered by scite_
1.2k articles received 47.7k citations see all
- 176 Supporting
- 47,090 Mentioning
- 10 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 0 Corrections
- 1 Errata
- 0 Expression of Concern
FAQs
How long has ACM Transactions on Programming Languages and Systems been actively publishing?
ACM Transactions on Programming Languages and Systems has been in operation since 1979 till date.
What is the publishing frequency of ACM Transactions on Programming Languages and Systems ?
ACM Transactions on Programming Languages and Systems published with a Quarterly frequency.
How many articles did ACM Transactions on Programming Languages and Systems publish last years ?
In 2022, ACM Transactions on Programming Languages and Systems published 22 articles.
What is the eISSN & pISSN for ACM Transactions on Programming Languages and Systems ?
For ACM Transactions on Programming Languages and Systems,eISSN is 1558-4593 and pISSN is0164-0925.
What is Citescore for ACM Transactions on Programming Languages and Systems ?
Citescore for ACM Transactions on Programming Languages and Systems is 3.
What is SNIP score for ACM Transactions on Programming Languages and Systems ?
SNIP score for ACM Transactions on Programming Languages and Systems is 1.
What is the SJR for ACM Transactions on Programming Languages and Systems ?
SJR for ACM Transactions on Programming Languages and Systems is Q3.
Who is the publisher of ACM Transactions on Programming Languages and Systems ?
ACM is the publisher of ACM Transactions on Programming Languages and Systems.