EAN: 9783319898834

PROGRAMMING LANGUAGES AND SYSTEMS KARTONIERT (TB)

This open access book constitutes the proceedings of the 27th European Symposium on Programming
ESOP 2018  which took place in Thessaloniki  Greece in April 2018  held as Part of the European
Joint Conferences on Theory and Practice of Software  ETAPS 2018. The 36 papers presented in
this volume were carefully reviewed and selected from 114 submissions. The papers are organized
in topical sections named: language design  probabilistic programming  types and effects 
concurrency  security  program verification  program analysis and automated verification 
session types and concurrency  concurrency and distribution  and compiler verification.

Aktuelle Preise zur EAN 9783319898834

Produktinformationen zur 9783319898834