TY  - JOUR
AU  - Albert Albiol, Elvira María
AU  - Arenas Sánchez, Purificación
AU  - Genaim, Samir
AU  - Puebla, Germán
AU  - Román Díez, Guillermo
PY  - 2014
DO  - 10.1016/j.scico.2013.04.006
SN  - 0167-6423
UR  - https://hdl.handle.net/20.500.14352/35134
T2  - Science of computer programming
AB  - Static analysis which takes into account the values of data stored in the heap is considered complex and computationally intractable in practice. Thus, most static analyzers do not keep track of object fields nor of array contents, i.e., they are...
LA  - eng
M2  - 2
PB  - Elsevier
KW  - Static Analysis
KW  - Heap-Sensitive Analysis
KW  - Termination
KW  - JavaBytecode
KW  - Program Transformation
TI  - Conditional Termination of Loops over Heap-Allocated Data
TY  - journal article
VL  - 92
ER  -