Convergence: Integrating termination and abort-freedom
| Autor: | Wided Ghardallou, Jules Desharnais, Nafi Diallo, Ali Mili |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Focus (computing)
Mathematical optimization Property (philosophy) Logic Computer science Abort Computation 020207 software engineering 0102 computer and information sciences 02 engineering and technology 01 natural sciences Outcome (game theory) Theoretical Computer Science Conjunction (grammar) Computational Theory and Mathematics 010201 computation theory & mathematics Convergence (routing) 0202 electrical engineering electronic engineering information engineering State (computer science) Software |
| Zdroj: | Journal of Logical and Algebraic Methods in Programming. 97:1-29 |
| ISSN: | 2352-2208 |
| DOI: | 10.1016/j.jlamp.2018.02.001 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect