Aleksandar S. Dimovski. Lifted termination analysis by abstract interpretation and its applications. In Eli Tilevich, Coen De Roover, editors, GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021. pages 96-109, ACM, 2021. [doi]
@inproceedings{Dimovski21-0, title = {Lifted termination analysis by abstract interpretation and its applications}, author = {Aleksandar S. Dimovski}, year = {2021}, doi = {10.1145/3486609.3487202}, url = {https://doi.org/10.1145/3486609.3487202}, researchr = {https://researchr.org/publication/Dimovski21-0}, cites = {0}, citedby = {0}, pages = {96-109}, booktitle = {GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021}, editor = {Eli Tilevich and Coen De Roover}, publisher = {ACM}, isbn = {978-1-4503-9112-2}, }