Retrospective and Prospective for Unifying Theories of Programming

摘要

This paper presents a personal account of developments leading to Unifying Theories of Programming, and some opinions about the direction the work should take in the future. It also speculates on consequences the work will have for all of computer science.