Sciweavers

Share
ENTCS
2008

Semantic Abstraction and Quantum Computation

11 years 1 months ago
Semantic Abstraction and Quantum Computation
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College London, UK nt 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 tation 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.
Alessandra Di Pierro, Herbert Wiklicky
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Alessandra Di Pierro, Herbert Wiklicky
Comments (0)
books