Programming Languages and Systems
Subtitle: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Publisher: Springer Nature
Published: 2018
Place of publication: Cham
ISBN-13: 9783319898841
Subjects: Computer science
Description: 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
Notes: Open Access Unrestricted online access

Creative Commons https://creativecommons.org/licenses/by/4.0/

English