A Compositional Method for Deciding Program Termination

Aleksandar Dimovski. A Compositional Method for Deciding Program Termination. In Marjan Gusev, Pece Mitrevski, editors, ICT Innovations 2010 - Second International Conference, ICT Innovations 2010, Ohrid, Macedonia, September 12-15, 2010. Revised Selected Papers. Volume 83 of Communications in Computer and Information Science, pages 71-80, 2010. [doi]

Abstract

Abstract is missing.