Key Metrics
6
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
Q4
Software
SJR
- Q4 Software
- Q4 Safety, Risk, Reliability and Quality
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
- Separation logic
- Data structure
- Differential privacy
- Time complexity
- Quantum error correction
- Gradual typing
- Simulation
- Static analysis
- Information flow
- Control flow graph
- Denotational semantics
- Memory safety
- Dependent type
- Functional programming
- Programming language
- Java
- Satisfiability modulo theories
- Network model
- Observational equivalence
- Lambda calculus
Journal Specifications
| Overview | |
| Publisher | ACM |
| Frequency | Tri-annual |
| General Details | |
| Frequency | Tri-annual |
| Publisher URL | Visit website |
Planning to publish in Proceedings of the ACM on Programming Languages ?
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
Modular Denotational Semantics for Effects with Guarded Interaction Trees
- 5 Jan 24
- Proceedings of the ACM on Programming Languages
-
Full paper
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
- 5 Jan 24
- Proceedings of the ACM on Programming Languages
-
Full paper
An Iris Instance for Verifying CompCert C Programs
- 5 Jan 24
- Proceedings of the ACM on Programming Languages
-
Full paper
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
- 5 Jan 24
- Proceedings of the ACM on Programming Languages
-
Full paper
Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis
- 5 Jan 24
- Proceedings of the ACM on Programming Languages
-
Full paper
A Core Calculus for Documents: Or, Lambda: The Ultimate Document
- 5 Jan 24
- Proceedings of the ACM on Programming Languages
Scite analysis
Powered by scite_
1.5k articles received 17.9k citations see all
- 100 Supporting
- 17,796 Mentioning
- 12 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 0 Corrections
- 0 Errata
- 0 Expression of Concern
FAQs
What is the publishing frequency of Proceedings of the ACM on Programming Languages ?
Proceedings of the ACM on Programming Languages published with a Tri-annual frequency.
How many articles did Proceedings of the ACM on Programming Languages publish last years ?
In 2023, Proceedings of the ACM on Programming Languages published 300 articles.
What is Citescore for Proceedings of the ACM on Programming Languages ?
Citescore for Proceedings of the ACM on Programming Languages is 6.
What is SNIP score for Proceedings of the ACM on Programming Languages ?
SNIP score for Proceedings of the ACM on Programming Languages is 1.
What is the SJR for Proceedings of the ACM on Programming Languages ?
SJR for Proceedings of the ACM on Programming Languages is Q4.
Who is the publisher of Proceedings of the ACM on Programming Languages ?
ACM is the publisher of Proceedings of the ACM on Programming Languages.