Magic-sets for localised analysis of Java bytecode

Abstract : no abstract
Type de document :
Article dans une revue
Higher-Order and Symbolic Computation, Springer Verlag, 2010, 23 (1), pp.29-86
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01186160
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 24 août 2015 - 14:28:49
Dernière modification le : mercredi 7 février 2018 - 08:12:02

Identifiants

  • HAL Id : hal-01186160, version 1

Collections

Citation

Fausto Spoto, Etienne Payet. Magic-sets for localised analysis of Java bytecode. Higher-Order and Symbolic Computation, Springer Verlag, 2010, 23 (1), pp.29-86. 〈hal-01186160〉

Partager

Métriques

Consultations de la notice

36