This volume contains selected papers presented at theEuropean Symposium on Programming (ESOP) held jointly withthe seventeeth Colloquium on Trees in Algebra andProgramming (CAAP) in Rennes, France, February 26-28, 1992(the proceedings of CAAP appear in LNCS 581). The previoussymposiawere held in France, Germany, and Denmark. Everyeven year, as in 1992, CAAPis held jointly with ESOP. ESOP addresses fundamental issues and important developmentsin the specification and implementation of programminglanguages and systems. It continues lines begun in Franceand Germany under the names "Colloque sur la Programmation"and the GI workshop on "Programmiersprachen undProgrammentwicklung". The programme committee received 71submissions, from which 28 have been selected for inclusionin this volume.