Read Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers by Jonathan P. Bowen Online

Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Jonathan P. Bowen

0/5 ( ratings)

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the

12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison.

Format: Paperback

Publisher: Springer

Release: January 11, 2017

ISBN: 3319522272

ISBN 13: 9783319522272

Rate this book!

Write a review?

Subscribe to Read | $0.00

Popular Genres

Subscribe to Read | $0.00

Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

More books from Jonathan P. Bowen

Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Abstract State Machines, B and Z

EVA London 2011: Electronic Visualisation and the Arts

Electronic Visualisation in Arts and Culture (Springer Series on Cultural Computing)

Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

EVA London 2017: Electronic Visualisation and the Arts

EVA London 2014: Electronic Visualisation and the Arts

EVA London 2020: Electronic Visualisation and the Arts

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Museums and Digital Culture: New Perspectives and Research (Springer Series on Cultural Computing)

Museums and Digital Culture: New Perspectives and Research (Springer Series on Cultural Computing)

Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science Book 12154)

Engineering Trustworthy Software Systems: Second International School, Setss 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

EVA London 2016: Electronic Visualisation and the Arts