Programming Languages and Systems
25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book
constitutes the proceedings of the 25th European Symposium on Programming, ESOP
2016, which took place in Eindhoven, The Netherlands, in April 2016, held as
Part of the European Joint Conferences on Theory and Practice of Software,
ETAPS 2016.
The 29 papers presented in this volume were carefully reviewed and selected
from 98 submissions. Being devoted to fundamental issues in the specification,
design, analysis, and implementation of programming languages and systems, ESOP
features contributions on all aspects of programming language research;
theoretical and/or practical advances.
Includes supplementary material: sn.pub/extras
Autor*in
Peter Thiemann
Themen in »Programming Languages and Systems«
Formal language definitions Higher-order logic Logic and verification Program verification Semantics and reasoning Classical logic Compilers Context-specific languages Cryptography Functional programming Language features Linear logic Models of computation Parametricity Probabilistic programs