Unifying Theories of Programming
by Stoddart, Bill, Dunne, Steve
fromLecture Notes in Computer Science
by Stoddart, Bill, Dunne, Steve
fromLecture Notes in Computer Science
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 invit…