Unifying Theories of Programming

Discover the cutting-edge research in programming theories with "Unifying Theories of Programming," authored by Pedro Ribeiro and published by Springer Nature Switzerland AG in 2019. This intriguing volume presents a collection of invited and expertly refereed papers from the 7th International Symposium on Unifying Theories of Programming, held on October 8, 2019, in Porto, Portugal. With 217 pages of original contributions from leading figures in the UTP community, this book offers insightful perspectives on unifying programming theories that can shape the future of software development and computer science. Perfect for researchers, practitioners, and enthusiasts alike, this paperback edition is an essential addition to any programming library. Grab your copy today and delve into the forefront of programming research!