Principals in programming languages: a syntactic proof techniuqe

摘要

Programs are often structured around the idea that different pieces of code cmprise distinct principals,each with a view of its environemtn.Typical examples include the modules of a large program,a host and its clients,or a collection of interactive agents.