Programming Languages and Systems

Amal Ahmed - Northeastern University Boston

Commission on Higher Education
2020-06-23 08:58:47
641

This volume contains the papers presented at the 27th European Symposium on Programming (ESOP 2018) held April 16–19, 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 implementation of programming languages and systems

Categories : Education Science and Teacher Training Open Access Books Engineering and Technology IT and Related

Tags : 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 semantic

Programming Languages and Systems

Download PDF

Related Contents

Handbook of Education Policy Studies

The Models of Engaged Learning and Teaching

Radical Solutions and Open Science

Understanding Oceania: Celebrating the University of the South Pacific and its collaboration with The Australian National University

Systematic Reviews in Educational Research

Recently Uploaded

Rolando Tolentino on Philippine Popular Culture - Project Virkurso Lecture Series

Ramon P. Santos on Philippine Music - Project Virkurso Lecture Series

Nicanor Tiongson on Philippine Theater - Project Virkurso Lecture Series

Clodualdo del Mundo, Jr. on Philippine Cinema - Project Virkurso Lecture Series

Cid Reyes on Philippine Visual Arts - Project Virkurso