This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.
This book constitutes the refereed proceedings of the 21st European Conference on Object-Oriented Programming, ECOOP 2007, held in Berlin, Germany in July/August 2007. The 25 revised full papers, presented together with 3 invited talks were carefully reviewed and selected from a total of 135 final submissions. The papers are organized in topical sections on types, runtime implementation, empirical studies, programs and predicates, language design, inheritance and derivation, aspects, as well as language about language.
This book constitutes the refereed proceedings of the 16th European Conference on Object-Oriented Programming, ECOOP 2002, held in Malaga, Spain, in June 2002. The 24 revised full papers presented together with one full invited paper were carefully reviewed and selected from 96 submissions. The book offers topical sections on aspect-oriented software development, Java virtual machines, distributed systems, patterns and architectures, languages, optimization, theory and formal techniques, and miscellaneous.
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last week of July in Glasgow, Scotland, UK. This volume includes the refereed technical papers p- sented at the conference, and two invited papers. It is traditional to preface a volume of proceedings such as this with a note that emphasizes the importance of the conference in its respective ?eld. Although such self-evaluations should always be taken with a large grain of salt, ECOOP is undisputedly the pre- inent conference on object-orientation outside of the United States. In its turn, object-orientationis today’s principaltechnology not only for programming,but also for design, analysisand speci?cation of softwaresystems. As a consequence, ECOOP has expanded far beyond its roots in programming to encompass all of these areas of research—whichis why ECOOP has remained such an interesting conference. But ECOOP is more than an interesting conference. It is the nucleus of a technical and academic community, a community whose goals are the creation and dissemination of new knowledge. Chance meetings at ECOOP have helped to spawn collaborations that span the boundaries of our many subdisciplines, bring together researchers and practitioners, cross cultures, and reach from one side of the world to the other. The ubiquity of fast electronic communication has made maintaining these collaborations easier than we would have believed possible only a dozen years ago. But the role of conferences like ECOOP in establishing collaborations has not diminished.
This book constitutes the refereed proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP 2011, held in Lancaster, UK, in July 2011. The 26 revised full papers, presented together with three keynote lectures were carefully reviewed and selected from a total of 100 submissions. The papers cover topics such as empirical studies, mining, understanding, recommending, modularity, modelling and refactoring, aliasing and ownership; as well as memory optimizations.
This book constitutes the thoroughly refereed post-proceedings of the Metainformatics Symposium, MIS 2003, held in Graz, Austria in September 2003. The 17 revised papers presented were carefully reviewed and selected for inclusion in the book. The topics addressed span the entire range from theoretical considerations of important metainformatics related questions and issues to practical descriptions of approaches and systems that offer assistance in their resolution.
This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.
This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22–25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies. GPCE was created as an e?ort to bring - getherresearchersworkingonboththeprogramminglanguagesandthesoftware engineeringsideofprogramgenerationandcomponentengineering. Thecommon theme of program generation and component engineering is the domain-speci?c nature of both approaches. Depending on the characteristics of a domain, either a generative or a compositional technical solution may be appropriate. In just its second year, GPCE has shown a lot of promise for building a strong community. The response to the call for papers was excellent, with 62 submissions to the technical program, 2 of which were later withdrawn. Each paper received between three and ?ve reviews, many of them quite thorough and hopefully valuable to all authors. The electronic meeting allowed for - depthdiscussionsofallsubmissions,oftentoamuchgreaterextentthanpossible in a physical PC meeting. As a result, 21 papers were selected for presentation at the conference and are included in this volume, together with abstracts for the invited talks by Olivier Danvy and Peri Tarr. Of the accepted papers, 3 are co-authored by PC members (from a total of 5 PC submissions). We tried hard to ensure fairness and hold PC submissions to a high standard. The EDAS conference submission system was used to manage the paper submissions. Our EDAS installation was supported by Blair MacIntyre, who was particularlyhelpfulinresolvingtechnicalissueswiththesystem.
This book constitutes the thoroughly refereed post-proceedings of the international conference NetObjectDays 2002, held in Erfurt, Germany, in October 2002. The 26 revised full papers presented were carefully selected during two rounds of reviewing and revision. The papers are organized in topical sections on embedded and distributed systems; components and MDA; Java technology; Web services; aspect-oriented software design; agents and mobility; software product lines; synchronization; testing, refactoring, and CASE tools.
