Thoroughly updated to reflect the most current developments in language design and implementation, the second edition *Addresses key developments in …
This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held …