Stefan Andrei. Termination Analysis by Program Inversion. In Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008. pages 277-280, IEEE Computer Society, 2008. [doi]
@inproceedings{Andrei08-1,
title = {Termination Analysis by Program Inversion},
author = {Stefan Andrei},
year = {2008},
doi = {10.1109/SYNASC.2008.22},
url = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2008.22},
tags = {program analysis, analysis, termination},
researchr = {https://researchr.org/publication/Andrei08-1},
cites = {0},
citedby = {0},
pages = {277-280},
booktitle = {SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008},
editor = {Viorel Negru and Tudor Jebelean and Dana Petcu and Daniela Zaharie},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3523-4},
}