Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

méthodes formelles, logique et langages de programmation, calcul quantique

Publications (55)

Article dans une revue 25/01/2017

Concrete Resource Analysis of the Quantum Linear System Algorithm used to Compute the Electromagnetic Scattering Cross Section of a 2D Target

Artur Scherer , Benoît Valiron , Mau Siun-Chuon , D. Scott Alexander , Eric van den Berg , Thomas Chapuran , Benoit Valiron

Communication dans un congrès 01/01/2017

A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron , Burkhart Wolff , Frederic Boulanger , Benoit Valiron

Communication dans un congrès 01/01/2017

The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects

Ugo Dal Lago , Claudia Faggian , Benoît Valiron , Akira Yoshimizu , Benoit Valiron

Autre publication scientifique 01/01/2017

Programmer un ordinateur quantique

Benoît Valiron , Benoit Valiron

Communication dans un congrès 01/07/2016

Generating reversible circuits from higher-order functional programs

Benoît Valiron , Benoit Valiron

Communication dans un congrès 01/01/2016

Toward analytic rewriting theory

Benoît Valiron , Michele Pagani , Andrew Polonski , Benoit Valiron

Communication dans un congrès 13/11/2015

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Safouan Taha , Benoît Valiron , Burkhart Wolff , Lina Ye , Frederic Boulanger , Safouan Taha , Benoit Valiron , Lina Ye

Article dans une revue 01/08/2015

Programming the quantum future

Benoît Valiron , Neil J. Ross , Peter Selinger , D. Scott Alexander , Jonathan M. Smith , Benoit Valiron

Communication dans un congrès 01/01/2015

Parallelism and Synchronization in an Infinitary Context

Ugo Dal Lago , Claudia Faggian , Benoît Valiron , Akira Yoshimizu , Benoit Valiron

Article dans une revue 09/12/2014

Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus

Ali Assaf , Alejandro Díaz-Caro , Simon Perdrix , Christine Tasson , Benoît Valiron , Benoit Valiron