Foundations and Trends in Programming Languages

Aims & Scope

The growth in all aspects of research in the last decade has led to a multitude of new publications and an exponential increase in published research.

Finding a way through the excellent existing literature and keeping up to date has become a major time-consuming problem.

Electronic publishing has given researchers instant access to more articles than ever before.

But which articles are the essential ones that should be read to understand and keep abreast with developments of any topic?

To address this problem Foundations and Trends ® in Programming Languages publishes high-quality survey and tutorial monographs of the field.

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	0.5
2024	4.00

Journal Rank

Year	Value
2024	2002

Journal Citation Indicator

Year	Value
2024	45

SJR (SCImago Journal Rank)

Year	Value
2024	1.665

Quartile

Year	Value
2024	Q1

h-index

Year	Value
2024	13

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science and Mathematics, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• Program Synthesis

  Citation: 242

  Authors: Sumit, Oleksandr, Rishabh

• Pointer Analysis

  Citation: 135

  Authors: Yannis, George

• Behavioral Types in Programming Languages

  Citation: 85

  Authors: Davide, Viviana, Mario, Joana, Giuseppe, Pierre-Malo, Simon J., Nils, Elena, Raymond, Einar Broch, Francisco, Viviana, Fabrizio, Rumyana, Nicholas Ng, Luca, Vasco T., Nobuko

• Principles of Eventual Consistency

  Citation: 81

  Authors: Sebastian

• Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

  Citation: 68

  Authors: Antoine

• Neurosymbolic Programming

  Citation: 43

  Authors: Swarat, Kevin, Oleksandr, Rishabh, Armando, Yisong

• QED at Large: A Survey of Engineering of Formally Verified Software

  Citation: 36

  Authors: Talia, Karl, Ilya, Milos, Zachary

• Introduction to Neural Network Verification

  Citation: 29

  Authors: Aws

• Static Analysis and Verification of Aerospace Software by Abstract Interpretation

  Citation: 27

  Authors: Julien, Patrick, Radhia, Jérôme, Laurent, Antoine, Xavier

• Refinement Types: A Tutorial

  Citation: 21

  Authors: Ranjit, Niki

---