43rd POPL 2016: St. Petersburg, FL, USA

Refine list

showing all ?? records


Types and Foundations

Algorithmic Verification

Decision Procedures

Correct Compilation

Decidability and Complexity

Language Design

Probabilistic and Statistical Analysis

Foundations of Distributed Systems

Types, Generally or Gradually

Learning and Verification


Sessions and Processes

Semantics and Memory Models

Program Design and Analysis

Foundations of Model Checking


a service of  Schloss Dagstuhl - Leibniz Center for Informatics