Non-termination of Dalvik bytecode via compilation to CLP.
Étienne PayetFrédéric MesnardPublished in: CoRR (2014)
Keyphrases
- programs written
- constraint logic programming
- smart card
- source code
- programming language
- code generation
- term rewriting
- constraint programming
- virtual machine
- java card
- operating system
- constraint solving
- general purpose
- knowledge compilation
- type checking
- information systems
- constraint propagation
- answer set programming
- termination analysis
- term rewrite systems