Explore All Access
Check if your research matches the topics covered in Proceedings of the ACM on Programming Languages?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Proceedings of the ACM on Programming Languages : Impact Factor & More
eISSN: 2475-1421
Share this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
Proceedings of the ACM on Programming Languages Key Metrics
CiteScore 
6
SJR
Q4Software
SNIP
1
Topics Covered on Proceedings of the ACM on Programming Languages
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
Proceedings of the ACM on Programming Languages Journal Specifications
Indexed in the following public directories
Web of Science 
Scopus 
Inspec 
SJR
| Overview | |
| Publisher | ACM |
| Frequency | Tri-annual |
| General Details | |
| Frequency | Tri-annual |
| Publisher URL | Visit website |
View less
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
Recently Published Papers in Proceedings of the ACM on Programming Languages
On the Expressive Power of Languages for Static Variability
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
Type Inference Logics
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
Making Sense of Multi-threaded Application Performance at Scale with NonSequitur
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
Compositionality and Observational Refinement for Linearizability with Crashes
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
On the Expressive Power of Languages for Static Variability
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
Type Inference Logics
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
Making Sense of Multi-threaded Application Performance at Scale with NonSequitur
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
Compositionality and Observational Refinement for Linearizability with Crashes
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
- 8 Oct 2024
- Proceedings of the ACM on Programming Languages
Compare Similar Journals with Proceedings of the ACM on Programming Languages
Select Journals to Compare with Proceedings of the ACM on Programming Languages
Total journals - 5
You can select up to 3 Journals at a time
Lecture Notes in Computer Science
Publisher: Springer Nature
ACM Transactions on Programming Languages and Systems
Publisher: ASSOC COMPUTING MACHINERY
Journal of Functional Programming
Publisher: CAMBRIDGE UNIV PRESS
Electronic Proceedings in Theoretical Computer Science
Publisher: Open Publishing Association
Science of Computer Programming
Publisher: ELSEVIER
0 Journals Selected to compare with
Proceedings of the ACM on Programming Languages
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
FAQs on Proceedings of the ACM on Programming Languages
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 year?
In 2023, Proceedings of the ACM on Programming Languages publsihed 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.
