Programming languages and systems
Subtitle: 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings
By: Mooly Sagiv (ed.).
Contributors: Sagiv, Mooly.
Series: Lecture notes in computer science -- 3444.
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 438
Subjects: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses
Genres: Congresses.
Other titles: ESOP 2005.
Description: This book constitutes the refereed proceedings of the 14th European Symposium on Programming, ESOP 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 28 revised full papers presented with the extended abstract of an invited paper were carefully reviewed and selected from 14 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems.
Notes: Includes bibliographical references and index.

Also issued online.