We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...