A Termination Analyzer for Java Bytecode Based on Path-Length

Abstract : no abstract
Type de document :
Article dans une revue
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2010, 32 (3), 70 p
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01186167
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 24 août 2015 - 14:29:06
Dernière modification le : lundi 10 décembre 2018 - 01:17:12

Identifiants

  • HAL Id : hal-01186167, version 1

Collections

Citation

Fausto Spoto, Frédéric Mesnard, Etienne Payet. A Termination Analyzer for Java Bytecode Based on Path-Length. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2010, 32 (3), 70 p. 〈hal-01186167〉

Partager

Métriques

Consultations de la notice

326