This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004.

The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems.