Convergence: Integrating termination and abort-freedom

Document Type

Article

Publication Date

6-1-2018

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.

Identifier

85082998353 (Scopus)

Publication Title

Journal of Logical and Algebraic Methods in Programming

External Full Text Location

https://doi.org/10.1016/j.jlamp.2018.02.001

e-ISSN

23522216

First Page

1

Last Page

29

Volume

97

Grant

DGE 1565478

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS