Termination analysis of programs with multiphase control-flow
Proceedings:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Year of publication: 2021
Volume: 344
Pages: 13-21
Type: Conference paper