Jan Vítek Books

This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 33 papers presented in this volume were carefully reviewed and selected from 113 submissions.

This book constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held in Málaga, Spain, in June/July 2010.

It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) held in Paphos, Cyprus. The conference continues to serve a broad object-oriented community with a tech- cal program spanning theory and practice and a healthy mix of industrial and academic participants. This year a strong workshop and tutorial program c- plementedthemaintechnicaltrack. Wehad13workshopsand8tutorials, aswell as the co-located Dynamic Language Symposium (DLS). Finally, the program was rounded out with a keynote by Rachid Guerraoui and a banquet speech by James Noble. As in previous years, two Dahl-Nygaard awards were selected by AITO, and for the ? rst time, the ECOOP Program Committee gave a best paper award. Theproceedingsinclude27papersselectedfrom138submissions. Thepapers werereviewed in a single-blind process with three to ? ve reviews per paper. P- liminaryversionsofthereviewsweremadeavailabletotheauthorsaweekbefore the PC meeting to allow for short (500 words or less) author responses. The - sponses were discussed at the PC meeting and were instrumental in reaching decisions. The PC discussions followed Oscar Nierstrasz’Champion pattern. PC papers had ? ve reviews and were held at a higher standard.

Large-scale open distributed systems provide an infrastructure for assembling global applications on the basis of software and hardware components originating from multiple sources. Open systems rely on publicly available standards to permit heterogeneous components to interact. The Internet is the archetype of a large-scale open distributed system; standards such as HTTP, HTML, and XML, together with the widespread adoption of the Java language, are the cornerstones of many distributed systems. This book surveys security in large-scale open distributed systems by presenting several classic papers and a variety of carefully reviewed contributions giving the results of new research and development. Part I provides background requirements and deals with fundamental issues in trust, programming, and mobile computations in large-scale open distributed systems. Part II contains descriptions of general concepts, and Part III presents papers detailing implementations of security concepts.

If the Internet is seen as a single, vast, programmable machine, what is the proper programming paradigm to facilitate development of the new applications it must offer? This state-of-the-art survey deals with this question. The situation we face is similar to that in the 1960s, when a new hardware/software architecture was introduced and it took some time for the programming-language and operating-system specialists to come up with the proper programming paradigms. Now we have the new and exciting paradigm of mobile computing, where computations are not bound to single locations but may move around at will to best use the available computer network resources. This paradigm will have a profound impact on the way distributed applications, in particular Internet applications, are designed and implemented.