Objects in Polynomial Time

Emmanuel Hainry 1 Romain Péchoux 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : A type system based on non-interference and data ramification principles is introduced in order to capture the set of functions computable in polynomial time on OO programs. The studied language is general enough to capture most OO constructs and our characterization is quite expressive as it allows the analysis of a combination of imperative loops and of data ramification scheme based on Bellantoni and Cook's safe recursion using function algebra.
Type de document :
Communication dans un congrès
Xinyu Feng; Sungwoo Park. APLAS 2015, Nov 2015, Pohang, South Korea. Springer, 9458, pp.387--404, Lecture Notes in Computer Science. 〈http://pl.postech.ac.kr/aplas2015/〉. 〈10.1007/978-3-319-26529-2_21〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01206161
Contributeur : Emmanuel Hainry <>
Soumis le : lundi 28 septembre 2015 - 15:00:15
Dernière modification le : vendredi 9 février 2018 - 10:48:02
Document(s) archivé(s) le : mardi 29 décembre 2015 - 10:33:05

Fichier

ICCOW.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Emmanuel Hainry, Romain Péchoux. Objects in Polynomial Time. Xinyu Feng; Sungwoo Park. APLAS 2015, Nov 2015, Pohang, South Korea. Springer, 9458, pp.387--404, Lecture Notes in Computer Science. 〈http://pl.postech.ac.kr/aplas2015/〉. 〈10.1007/978-3-319-26529-2_21〉. 〈hal-01206161〉

Partager

Métriques

Consultations de la notice

268

Téléchargements de fichiers

79