Non-termination of Dalvik bytecode via compilation to CLP

Abstract : no abstract
Type de document :
Communication dans un congrès
Fuhs, Carsten. 14th International Workshop on Termination (WST), Jul 2014, Vienne, Austria. Proceedings of the 14th International Workshop on Termination (WST), pp.65--69, 2014
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01451692
Contributeur : Réunion Univ <>
Soumis le : mercredi 1 février 2017 - 12:55:57
Dernière modification le : dimanche 5 novembre 2017 - 15:58:03

Identifiants

  • HAL Id : hal-01451692, version 1

Collections

Citation

Etienne Payet, Frédéric Mesnard. Non-termination of Dalvik bytecode via compilation to CLP. Fuhs, Carsten. 14th International Workshop on Termination (WST), Jul 2014, Vienne, Austria. Proceedings of the 14th International Workshop on Termination (WST), pp.65--69, 2014. 〈hal-01451692〉

Partager

Métriques

Consultations de la notice

13