Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved th- selvese?ectiveastoolsforthepractisingsoftwareengineer. Withinthesetheories we seea number of commonthemes, suchas abstraction,re?nement, choice, t- mination, feasibility, concurrency and communication. The commonality of such themes opens perspectives for unifying theories, an activity which can increase our ability to use existing methods and notations, to recognise their limitations, and to extend and generalise them. Based on the pioneering work on unifying theories of programming of Tony Hoare and He Jifeng, which itself ackno- edges the in?uence of Eric Hehner’s seminal ideas on predicative programming, the aims of this ?rst UTP symposium are to rea?rm the signi?cance of the ongoing UTP project, to encourage e?orts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the bene?ts of unifying theoretical frameworks among the wider computer science and software engineering communities. We are extremely fortunate in having secured the participation of such a formidable panel of invited speakers as Ian Hayes, He Jifeng, Rick Hehner, Tony Hoare, Je? Sanders and Jim Woodcock, who truly comprise the leading lights in the development and ongoing exploitation of the unifying theories of programming. I’m pleased to express my appreciation for the sterling e?orts of all members of the UTP 2006programmecommittee, andalso thoseof the additionalrevi- ers, in reviewing all the submitted papers so conscientiously.
Post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006Presents 14 revised full papersFocuses on the most significant results