Peter Thiemann
Proceedings of the 25th European Symposium on Programming
ESOP, 2016.

@proceedings{ESOP-2016,
	doi           = "10.1007/978-3-662-49498-1",
	editor        = "Peter Thiemann",
	isbn          = "978-3-662-49497-4",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 25th European Symposium on Programming}",
	volume        = 9632,
	year          = 2016,
}

Contents (30 items)

ESOP-2016-Lopes #perspective #re-engineering #simulation

Simulating Cities: A Software Engineering Perspective (CVL), pp. 1–14.

ESOP-2016-AlurFR #data type #programming

Regular Programming for Quantitative Properties of Data Streams (RA, DF, MR), pp. 15–40.

ESOP-2016-LourencoFP #adaptation #approach #formal method #verification

Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (CBL, MJF, JSP), pp. 41–67.

ESOP-2016-Bonnaire-Sergeant #clojure

Practical Optional Types for Clojure (ABS, RD, STH), pp. 68–94.

ESOP-2016-BresGH #algebra #network #process

A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract) (EB, RJvG, PH), pp. 95–122.

ESOP-2016-CaretteS

Computing with Semirings and Weak Rig Groupoids (JC, AS), pp. 123–148.

ESOP-2016-DOsualdoO #communication #on the #π-calculus

On Hierarchical Communication Topologies in the π-calculus (ED, CHLO), pp. 149–175.

ESOP-2016-PintoDGS #composition #concurrent #termination #verification

Modular Termination Verification for Non-blocking Concurrency (PdRP, TDY, PG, JS), pp. 176–201.

ESOP-2016-Ehrhard #call-by #linear #logic #perspective

Call-By-Push-Value from a Linear Logic Point of View (TE), pp. 202–228.

ESOP-2016-EisenbergWA

Visible Type Application (RAE, SW, HGA), pp. 229–254.

ESOP-2016-FeltmanAAF #automation #λ-calculus

Automatically Splitting a Two-Stage Lambda Calculus (NF, CA, UAA, KF), pp. 255–281.

ESOP-2016-FosterKMR0 #probability

Probabilistic NetKAT (NF, DK, KM, MR, AS0), pp. 282–309.

ESOP-2016-Garnock-JonesF #concurrent #coordination #programming

Coordinated Concurrent Programming in Syndicate (TGJ, MF), pp. 310–336.

ESOP-2016-HuangM #probability #programming language #semantics

An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (DH0, GM), pp. 337–363.

ESOP-2016-KaminskiKMO #probability #reasoning #source code

Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs (BLK, JPK, CM, FO), pp. 364–389.

ESOP-2016-KawabataI #adaptation #approach #float #lazy evaluation #refinement

Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (HK, HI), pp. 390–418.

ESOP-2016-KeuchelWS

Needle & Knot: Binder Boilerplate Tied Up (SK, SW, TS), pp. 419–445.

ESOP-2016-KouzapasPY #higher-order #on the #process

On the Relative Expressiveness of Higher-Order Session Processes (DK, JAP, NY), pp. 446–475.

ESOP-2016-Lepigre #semantics #strict

A Classical Realizability Model for a Semantical Value Restriction (RL), pp. 476–502.

ESOP-2016-Lochbihler #encryption #higher-order #logic #probability

Probabilistic Functions and Cryptographic Oracles in Higher Order Logic (AL), pp. 503–531.

ESOP-2016-MalechaB #automation #performance

Extensible and Efficient Automation Through Reflective Tactics (GM, JB), pp. 532–559.

ESOP-2016-MineBR #algorithm #constraints #induction #invariant #source code #theorem proving

An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs (AM, JB, TWR), pp. 560–588.

ESOP-2016-OwensMKT #functional #semantics

Functional Big-Step Semantics (SO, MOM, RK, YKT), pp. 589–615.

ESOP-2016-PedrotS

Classical By-Need (PMP, AS), pp. 616–643.

ESOP-2016-SchusterDF #metaprogramming #named #refactoring

Macrofication: Refactoring by Reverse Macro Expansion (CS, TD, CF), pp. 644–671.

ESOP-2016-SerranoH #domain-specific language #embedded #fault

Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules (AS0, JH), pp. 672–698.

ESOP-2016-Summers0 #composition #message passing #source code #verification

Actor Services - Modular Verification of Message Passing Programs (AJS, PM0), pp. 699–726.

ESOP-2016-SvendsenSB #logic

Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (KS, FS, LB), pp. 727–751.

ESOP-2016-WangN #approach #functional #higher-order #source code #syntax

A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (YW, GN), pp. 752–779.

ESOP-2016-PohjolaP #composition #parallel #power of

The Expressive Power of Monotonic Parallel Composition (JÅP, JP), pp. 780–803.