A Unified Theory of Program Logics: An Approach based on the π-Calculus.

Kohei Honda Nobuko Yoshida

Published in: Comput. J. (2011)

Keyphrases

computational model
computer algebra
theoretical framework
expressive power
modal logic
theoretical basis
formal methods
general theory
database
information systems
computer programs
static analysis
unified model
program execution
proof theoretic