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.

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Alessandra Di Pierro, Herbert Wiklicky
• Keywords: Di Informatica University, Di Pierro1 Dipartimento, ENTCS 2008, Quantum Computation Alessandra