15th APLAS 2017: Suzhou, China

Invited Contributions

Security

Heap and Equivalence Reasoning

Concurrency and Verification

Domain-Specific Languages

Semantics

Numerical Reasoning

a service of Schloss Dagstuhl - Leibniz Center for Informatics