Modular and field-sensitive termination analysis of java bytecode

Tesis doctoral de Diana Vanessa Ramírez Deantes Static program analysis of object-oriented languages poses some challenges for termination analyzers. One […]

, , , , ,