We present an enhancement of the generic fixpoint algorithm TD which can deal with widening and narrowing even for non-monotonic systems of equations. In contrast to corresponding enhancements proposed for other standard fixpoint algorithms, no extra priorities on variables are required. Still, a mechanism can be devised so that occurrences of the widening/narrowing operator are inserted as well as removed dynamically.
CITATION STYLE
Apinis, K., Seidl, H., & Vojdani, V. (2016). Enhancing top-down solving with widening and narrowing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9560, pp. 272–288). Springer Verlag. https://doi.org/10.1007/978-3-319-27810-0_14
Mendeley helps you to discover research relevant for your work.