"This book presents the carefully refereed proceedings of the 9th European Conference on Object-Oriented Programming, ECOOP '95, held in Aarhus, Denmark in August 1995. Besides the scientific conference documented in this book, ECOOP '95 included a number of tutorials and workshops as well as a two-day technology exhibition and thus reflects the full spectrum of Object-Oriented Programming. The volume presents three invited contributions and 18 full research papers selected from more than 90 submissions. The papers are organized in sections on types, programming languages, reflective programming and verification, implementation, concurrency and specification, and distribution and interfaces."--PUBLISHER'S WEBSITE.