Non-termination of Dalvik bytecode via compilation to CLP

Συγγραφείς: Payet, Etienne, Mesnard, Frédéric

Συνεισφορές: Laboratoire d'Informatique et de Mathématiques (LIM), Université de La Réunion (UR), Fuhs, Carsten

Πηγή: Proceedings of the 14th International Workshop on Termination (WST) ; 14th International Workshop on Termination (WST) ; https://hal.univ-reunion.fr/hal-01451692 ; 14th International Workshop on Termination (WST), Jul 2014, Vienne, Austria. pp.65-69

Θεματικοί όροι: 1998 ACM Subject Classification D24 Software/Program Verification (Formal methods), F31 Specifying and Verifying and Reasoning about Programs (Mechanical verification), F32 Se-mantics of Programming Languages (Program analysis) Keywords and phrases Non-Termination, Android, Dalvik, Constraint Logic Programming, [INFO]Computer Science [cs]

Θέμα γεωγραφικό: Vienne, Austria

Διαθεσιμότητα: https://hal.univ-reunion.fr/hal-01451692
https://hal.univ-reunion.fr/hal-01451692v1/document
https://hal.univ-reunion.fr/hal-01451692v1/file/Non_termination_of_Dalvik_bytecode_via_compilation_CLP.pdf