ECOOP 2013 – Object-Oriented Programming

By Giuseppe Castagna

Subjects: Logics and Meanings of Programs, Computer Communication Networks, Logic design, Programming Languages, Compilers, Interpreters, Computer science, Software engineering, Mathematical Logic and Formal Languages, Programming Techniques

Description: This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation.