Semantic Abstraction and Quantum Computation
Alessandra Di Pierro, Herbert Wiklicky
We present a logico-algebraic approach to probabilistic abstract interpretation based on the ortholattice structure of the projective measurement operators in quantum mechanics. On this base, we present a novel interpretation of quantum measurement as a probabilistic abstraction showing that the measurement of a physical observable essentially corresponds to a static analysis of the observed property.
Electronic Notes in Theoretical Computer Science•Jul 1, 2008•1 citation