Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected ... (Lecture Notes in Computer Science, 4010) - Softcover

Softcover

ISBN 10: 354034750X ISBN 13: 9783540347507

Publisher: Springer, 2006

Synopsis

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The book presents 14 revised full papers. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 focused on the most significant results and raised awareness of the benefits of unifying theoretical frameworks.

About this title

Synopsis

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The 14 revised full papers presented, including those by the six invited speakers, were carefully reviewed and selected for presentation at the symposium and went through a second round of improvement after the meeting. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 reaffirmed the relevance of the ongoing UTP project and advanced it by focusing on the most significant results and by raising awareness of the benefits of unifying theoretical frameworks among the wider computer science and software engineering communities.

Edition details

• Publisher: Springer
• Publication date: 2006
• Language: English
• ISBN 10: 354034750X
• ISBN 13: 9783540347507
• Binding: Paperback
• Number of pages: 272
• Editor: Dunne Steve, Stoddart Bill