Foundations and Trends® in Programming Languages
Editor-in-chief
Rupak Majumdar
Max Planck Institute for Software Systems
Print ISSN: 2325-1107
Online ISSN: 2325-1131
Publisher
Mark de Jongh
Indexed in: ACM Guide, Cabell's International, Computing Reviews, DBLP, Electronic Journals Library, Emerging Sources Citation Index (ESCI), Google Scholar, SCOPUS, Ulrich's
About this journal
2023 Journal Impact Factor (Clarivate)
4
2023 Journal Citation Indicator (Clarivate)
0.43
Volume 7, Issue 4
Marco Bernardo
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent
Volume 7, Issue 3
Swarat Chaudhuri | Kevin Ellis | Oleksandr Polozov | Rishabh Singh | Armando Solar-Lezama | Yisong Yue
Neurosymbolic Programming
Volume 6, Issue 1–2
Bor-Yuh Evan Chang | Cezara Drăgoi | Roman Manevich | Noam Rinetzky | Xavier Rival
Shape Analysis
Volume 5, Issue 2-3
Talia Ringer | Karl Palmskog | Ilya Sergey | Milos Gligoric | Zachary Tatlock
QED at Large: A Survey of Engineering of Formally Verified Software
Volume 3, Issue 2-3
Davide Ancona | Viviana Bono | Mario Bravetti | Joana Campos | Giuseppe Castagna | Pierre-Malo Deniélou | Simon J. Gay | Nils Gesbert | Elena Giachino | Raymond Hu | Einar Broch Johnsen | Francisco Martins | Viviana Mascardi | Fabrizio Montesi | Rumyana Neykova | Nicholas Ng | Luca Padovani | Vasco T. Vasconcelos | Nobuko Yoshida
Behavioral Types in Programming Languages
Foundations and Trends® in Programming Languages