Publication year: 2018
ISBN: 978-3-319-89884-1
Internet Resource: Please Login to download book
This volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, Greece. ESOP is one of the European Joint Conferences on Theory and Practice of Software (ETAPS). It is devoted to fundamental issues in the specification, design, analysis, and implementa- tion of programming languages and systems. The 36 papers in this volume were selected from 114 submissions based on origi-nality and quality.
Subject: Open Access, artificial intelligence, computer architecture, computer software selection and evaluation, distributed computer systems, formal logic, formal model, java, model checking, processors, program compilers, program verification, programming language, semantics, separation logic, software engineering, specifications, theorem proving, type systems, verification