A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops.

Andreas Ibing Alexandra Mai

Published in: HASE (2015)

Keyphrases

fixed point
detection algorithm
preprocessing
input data
learning algorithm
objective function
dynamic programming
matching algorithm
similarity measure
optimal solution
dynamical systems
state space