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
-
Web of Science -
Scopus -
Inspec -
SJR
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
On the Expressive Power of Languages for Static Variability
- 8 Oct 24
- Proceedings of the ACM on Programming Languages
-
Full paper
Type Inference Logics
- 8 Oct 24
- Proceedings of the ACM on Programming Languages
-
Full paper
Making Sense of Multi-threaded Application Performance at Scale with NonSequitur
- 8 Oct 24
- Proceedings of the ACM on Programming Languages
-
Full paper
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
- 8 Oct 24
- Proceedings of the ACM on Programming Languages
-
Full paper
Compositionality and Observational Refinement for Linearizability with Crashes
- 8 Oct 24
- Proceedings of the ACM on Programming Languages
-
Full paper
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
- 8 Oct 24
- Proceedings of the ACM on Programming Languages
Scite analysis
Powered by scite_
1.7k articles received 18.9k citations see all
- 109 Supporting
- 18,755 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.