Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Hainry, Emmanuel"'
In automated complexity analysis, noninterference-based type systems statically guarantee, via soundness, the property that well-typed programs compute functions of a given complexity class, e.g., the class FP of functions computable in polynomial ti
Externí odkaz:
http://arxiv.org/abs/2401.14957
We introduce a novel quantum programming language featuring higher-order programs and quantum controlflow which ensures that all qubit transformations are unitary. Our language boasts a type system guaranteeingboth unitarity and polynomial-time norma
Externí odkaz:
http://arxiv.org/abs/2311.01054
We introduce a first-order quantum programming language, named FOQ, whose terminating programs are reversible. We restrict FOQ to a strict and tractable subset, named PFOQ, of terminating programs with bounded width, that provides a first programming
Externí odkaz:
http://arxiv.org/abs/2212.06656
The class of Basic Feasible Functionals BFF is the second-order counterpart of the class of first-order functions computable in polynomial time. We present several implicit characterizations of BFF based on a typed programming language of terms. Thes
Externí odkaz:
http://arxiv.org/abs/2208.14739
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 1 (February 24, 2022) lmcs:7216
The class of Basic Feasible Functionals BFF$_2$ is the type-2 counterpart of the class FP of type-1 functions computable in polynomial time. Several characterizations have been suggested in the literature, but none of these present a programming lang
Externí odkaz:
http://arxiv.org/abs/2102.11605
Autor:
Hainry, Emmanuel, Péchoux, Romain
A type system is introduced for a generic Object Oriented programming language in order to infer resource upper bounds. A sound andcomplete characterization of the set of polynomial time computable functions is obtained. As a consequence, the heap-sp
Externí odkaz:
http://arxiv.org/abs/1802.06653
Autor:
Hainry, Emmanuel, Péchoux, Romain
Publikováno v:
Logical Methods in Computer Science, Volume 16, Issue 4 (December 14, 2020) lmcs:4237
Interpretation methods and their restrictions to polynomials have been deeply used to control the termination and complexity of first-order term rewrite systems. This paper extends interpretation methods to a pure higher order functional language. We
Externí odkaz:
http://arxiv.org/abs/1801.08350
Algebraic characterizations of the computational aspects of functions defined over the real numbers provide very effective tool to understand what computability and complexity over the reals, and generally over continuous spaces, mean. This is releva
Externí odkaz:
http://arxiv.org/abs/1609.07972
Autor:
Hainry, Emmanuel
Il existe de nombreux modèles de calcul sur les réels. Ces différents modèles calculent diverses fonctions, certains sont plus puissants que d'autres, certains sont deux à deux incomparables. Le calcul sur les réels est donc de ce point de vue
Externí odkaz:
http://www.theses.fr/2006INPL090N/document
Thèse de doctorat : Informatique : INPL : 2006.
Titre provenant de l'écran-titre. Bibliogr.
Titre provenant de l'écran-titre. Bibliogr.
Externí odkaz:
http://www.scd.inpl-nancy.fr/theses/2006_HAINRY_E.pdf