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
Mike Casey

PGL

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

Journal Home Editorial Aims Editorial Board Submission Instructions LaTeX Style Files Pricing Recommend to Library Alert Me
Search

Volume 7

Volume 7, Issue 4

Probabilistic Trace and Testing Semantics: The Importance of Being Coherent

 
Marco Bernardo
Volume 7, Issue 3

Neurosymbolic Programming

 
Swarat Chaudhuri | Kevin Ellis | Oleksandr Polozov | Rishabh Singh | Armando Solar-Lezama | Yisong Yue
Volume 7, Issue 1–2

Introduction to Neural Network Verification

 
Aws Albarghouthi

Volume 6

Volume 6, Issue 3–4

Refinement Types: A Tutorial

 
Ranjit Jhala | Niki Vazou
Volume 6, Issue 1–2

Shape Analysis

 
Bor-Yuh Evan Chang | Cezara Drăgoi | Roman Manevich | Noam Rinetzky | Xavier Rival

Volume 5

Volume 5, Issue 4

Progress of Concurrent Objects

 
Hongjin Liang | Xinyu Feng
Volume 5, Issue 2-3

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

 
Talia Ringer | Karl Palmskog | Ilya Sergey | Milos Gligoric | Zachary Tatlock
Volume 5, Issue 1

Reconciling Abstraction with High Performance: A MetaOCaml approach

 
Oleg Kiselyov

Volume 4

Volume 4, Issue 3-4

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

 
Antoine Miné
Volume 4, Issue 1-2

Program Synthesis

 
Sumit Gulwani | Oleksandr Polozov | Rishabh Singh

Volume 3

Volume 3, Issue 4

Programming with “Big Code”

 
Martin Vechev | Eran Yahav
Volume 3, Issue 2-3

Behavioral Types in Programming Languages

 
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
Volume 3, Issue 1

Computer-Assisted Query Formulation

 
Alvin Cheung | Armando Solar-Lezama

Volume 2

Volume 2, Issue 4

Nominal Game Semantics

 
Andrzej S. Murawski | Nikos Tzevelekos
Volume 2, Issue 2-3

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

 
Julien Bertrane | Patrick Cousot | Radhia Cousot | Jérôme Feret | Laurent Mauborgne | Antoine Miné | Xavier Rival
Volume 2, Issue 1

Pointer Analysis

 
Yannis Smaragdakis | George Balatsouras

Volume 1

Volume 1, Issue 4

A Framework For Efficient Modular Heap Analysis

 
Ravichandhran Madhavan | G. Ramalingam | Kapil Vaswani
Volume 1, Issue 3

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

 
Véronique Cortier | Steve Kremer
Volume 1, Issue 1-2

Principles of Eventual Consistency

 
Sebastian Burckhardt