en fr Implicit computational complexity : program interpretations Complexité implicite des calculs : interprétation de programmes Report as inadecuate




en fr Implicit computational complexity : program interpretations Complexité implicite des calculs : interprétation de programmes - Download this document for free, or read online. Document in PDF available to download.

1 CARTE - Theoretical adverse computations, and safety Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

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.

Résumé : 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.

en fr

Keywords : complexity rewriting

Mots-clés : complexité interprétation réécriture





Author: Guillaume Bonfante -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents