In this paper we argue that it is advantageous to study the property of termination in conjunction with the property of abort-freedom.

The design and ongoing implementation of an automated tool for deriving the function of a program in three steps is discussed: first, the source code is ...

The condition under which a computation terminates, and the question of whether a computation terminates for a given initial state, have been the focus of ...

The condition under which a computation terminates, and the question of whether a computation terminates for a given initial state, have been the focus of ...

Convergence: Integrating termination and abort-freedom ; Journal: Journal of Logical and Algebraic Methods in Programming, 2018, p. 1-29 ; Publisher: Elsevier BV.

5.1 Introduction. Chapters 2 and 4 introduced invariant relations and the model for integrating termination with abort-freedom, what we dubbed as convergence.

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili : Convergence: Integrating termination and abort-freedom. J. Log. Algebraic Methods Program.

Convergence: Integrating termination and abort-freedom. N Diallo, W Ghardallou, J Desharnais, A Mili. Journal of Logical and Algebraic Methods in Programming ...

Aug 23, 2024 · Convergence: Integrating termination and abort-freedom. J. Log ... Using invariant relations in the termination analysis of while loops.

2017. Convergence: Integrating termination and abort-freedom. N Diallo, W Ghardallou, J Desharnais, A Mili. Journal of Logical and Algebraic Methods in ...