PSPL 2010: Volume Information

PSPL 2010. International Workshop on Proof Systems for Program Logics

Papers

Keyphrases

automata-theoretic decision technique, Boolean BI, cut elimination, data accessibility, Distributed and Staged Computing, Hoare logic, Hoare-style Logic, Imperative core calculus, lightweight separation, lock-free algorithms, Modal Type Theory, model checking, mu-calculus², Probabilistic concurrent processes, Propositional Linear Temporal Logic, separation logic, sequent calculus, understandable verification conditions.