Publisher's Synopsis
Contains the post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006. This symposium reaffirmed the relevance of the UTP project by raising awareness of the benefits of unifying theoretical frameworks among the wider computer science and software engineering communities.