en fr Implicit computational complexity : program interpretations Complexité implicite des calculs : interprétation de programmes Reportar como inadecuado




en fr Implicit computational complexity : program interpretations Complexité implicite des calculs : interprétation de programmes - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





Autor: Guillaume Bonfante -

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



DESCARGAR PDF




Documentos relacionados