Complexité implicite des calculs : interprétation de programmes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Habilitation À Diriger Des Recherches Year : 2011

Implicit computational complexity : program interpretations

Complexité implicite des calculs : interprétation de programmes

Abstract

Our thesis is a development of implicit computational complexity. As defined by Daniel Leivant, the problem is to characterize the complexity of programs without any explicit reference to some computational model. We show that interpretations of programs are a good tool in this context. Both theoretical and practical issues are dealt.
L'étude que nous proposons s'inscrit dans le cadre de la complexité implicite des calculs. Selon Daniel Leivant, il s'agit de donner des caractérisations de la complexité sans faire de référence explicite à un modèle de calcul. Nous montrons que les interprétations de programmes sont un bon outil d'analyse dans ce contexte. Les aspects théoriques et pratiques sont abordés.
Fichier principal
Vignette du fichier
hdr.pdf (1.16 Mo) Télécharger le fichier
Loading...

Dates and versions

tel-00656766 , version 1 (05-01-2012)

Identifiers

  • HAL Id : tel-00656766 , version 1

Cite

Guillaume Bonfante. Complexité implicite des calculs : interprétation de programmes. Complexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011. ⟨tel-00656766⟩
327 View
359 Download

Share

Gmail Facebook X LinkedIn More