Proceedings of the ACM on Programming Languages

eISSN: 2475-1421

Key Metrics

CiteScore
6
SJR
Q4Software
SNIP
1

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

Indexed in the following public directories

  • Scopus Scopus
  • Web of Science Web of Science
Overview
  • Publisher
    ACM
  • Frequency
    Tri-annual
General Details
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
Free Report

Recently Published Papers

FAQs

What is the publishing frequency of Proceedings of the ACM on Programming Languages? Faqs

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? Faqs

In 2021, Proceedings of the ACM on Programming Languages publsihed 167 articles.

What is Citescore for Proceedings of the ACM on Programming Languages? Faqs

Citescore for Proceedings of the ACM on Programming Languages is 6.

What is SNIP score for Proceedings of the ACM on Programming Languages? Faqs

SNIP score for Proceedings of the ACM on Programming Languages is 1.

What is the SJR for Proceedings of the ACM on Programming Languages? Faqs

SJR for Proceedings of the ACM on Programming Languages is Q4.

Who is the publisher of Proceedings of the ACM on Programming Languages? Faqs

ACM is the publisher of Proceedings of the ACM on Programming Languages.