Convergence: Integrating termination and abort-freedom

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili

Research output: Contribution to journalArticlepeer-review

Abstract

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 much interest since the early days of computing. In this paper we argue that it is advantageous to study the property of termination in conjunction with the property of abort-freedom, i.e. the property of a program to execute without raising exceptional conditions; also, we model the two properties in a single mathematical framework, and illustrate how this integrated framework gives a better outcome than the separate analysis of the two aspects.

Original languageEnglish (US)
Pages (from-to)1-29
Number of pages29
JournalJournal of Logical and Algebraic Methods in Programming
Volume97
DOIs
StatePublished - Jun 2018

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Software
  • Logic
  • Computational Theory and Mathematics

Keywords

  • Abort-freedom
  • Convergence
  • Invariant relations
  • Iterative programs
  • Termination

Fingerprint

Dive into the research topics of 'Convergence: Integrating termination and abort-freedom'. Together they form a unique fingerprint.

Cite this