SCIEQ3
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
ASSOC COMPUTING MACHINERY
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS is an academic journal published by ASSOC COMPUTING MACHINERY. Identifiers: ISSN 0164-0925, eISSN 1558-4593. Indexed in SCIE. Metrics: JIF 1.6. Subject areas: COMPUTER SCIENCE, COMPUTER SCIENCE, SOFTWARE ENGINEERING, SOFTWARE ENGINEERING. tlooto lists 114 papers from this journal.
CiteScore
-
Scopus citation metric
SJR
-
SCImago rank
SNIP
-
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 0164-0925
- eISSN
- 1558-4593
- Abbreviation
- ACM T PROGR LANG SYS
- Publisher
- ASSOC COMPUTING MACHINERY
- Country
- -
Web of Science categories
SCIECOMPUTER SCIENCE, SOFTWARE ENGINEERING
Scopus ASJC categories
No ASJC category data available.
Keywords
Computer Science, Software Engineering
Papers in this journal
Recent papers
- Cut-Shortcut Whole-Program Pointer Analysis: Re-imagining Context-Sensitivity without Contexts
2026
- A Typed Intermediate Representation for Dynamic Languages
2026
- Coma, an Intermediate Verification Language with Explicit Abstraction Barriers
2026
- StreamAlloc: A Framework for Analyzing and Transforming CUDA Code to Enable Asynchronous Execution
2026
- Guiding LLM-Based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
2026
Most cited papers
- Warren: The Program Dependence Graph and Its Use in Optimization
1987 · 66 citations
- Passport: Improving Automated Formal Verification Using Identifiers
2022 · 41 citations
- Model checking of hierarchical state machines
2001 · 40 citations
- Ten years of Hoare''s logic: A survey
1981 · 29 citations
- Capturing Types
2023 · 24 citations