کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6874839 | 1441442 | 2018 | 45 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Convergence: Integrating termination and abort-freedom
ترجمه فارسی عنوان
همگرایی: خاتمه دادن و قطع آزادی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
خاتمه دادن، قطع شدن آزادی، همگرایی، برنامه های حمایتی، روابط غیرمعمول،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 97, June 2018, Pages 1-29
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 97, June 2018, Pages 1-29
نویسندگان
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili,