*********************************************************************
* Ecole Normale Supe'rieure *
* *
* Se'minaire *
* SEMANTIQUE ET INTERPRETATION ABSTRAITE *
* P. Cousot *
* *
* Vendredi, 14h00--15h30 *
* Salle S16, etage -1 *
* DI ENS 45 rue d'Ulm 75005 Paris *
*********************************************************************
*** Vendredi 8 juin 2007, 14h00-15h00 *****************************
Elham Kashefi (Oxford University Computing Laboratory)
Formalising Physical Computations
Abstract: Measurement-based quantum computation (MQC) has emerged from the
physics community as a new approach to quantum computation where the notion
of measurement is the main driving force of computation. This is in
contrast with the more traditional circuit model which is based on unitary
operations. I present a rigorous mathematical model underlying the MQC and
a concrete syntax and operational semantics for programs, called patterns,
and an algebra of these patterns derived from a denotational semantics.
More importantly, I introduce a calculus for reasoning locally and
compositionally about these patterns together with a rewrite theory with a
general standardization theorem which allows all patterns to be put in a
semantically equivalent standard form. Finally I describe the notion of
information flow which fully characterizes the determinism structure in the
MQC models.
*********************************************************************
Pour recevoir l'annonce par courrier electronique envoyer un email a
P. Cousot
*********************************************************************