Implicit computational complexity in Object Oriented Programs

Emmanuel Hainry 1 Romain Péchoux 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, London, United Kingdom. 〈http://dice15.computing.dundee.ac.uk〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01207918
Contributeur : Emmanuel Hainry <>
Soumis le : jeudi 1 octobre 2015 - 15:19:16
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25

Identifiants

  • HAL Id : hal-01207918, version 1

Collections

Citation

Emmanuel Hainry, Romain Péchoux. Implicit computational complexity in Object Oriented Programs. DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, London, United Kingdom. 〈http://dice15.computing.dundee.ac.uk〉. 〈hal-01207918〉

Partager

Métriques

Consultations de la notice

91