کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10333721 | 689170 | 2016 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
An algebraic approach to computations with progress
ترجمه فارسی عنوان
رویکرد جبری به محاسبات با پیشرفت
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
ترجمه چکیده
مفهوم پیشرفت در مدل های مختلف محاسبه، به عنوان مثال، به شکل ردیابی شدن، گذراندن زمان واقعی، افزایش شمارنده، رفتن از خاتمه دادن به خاتمه دادن، ظاهر می شود. ما یک مدل محاسبات متوالی را معرفی می کنیم که این نمونه ها را خلاصه و خلاصه می کند. ما جبر های موجود را برای اعدام های غیر انتسابی تعمیم دادیم و این را با مدل ما اثبات کردیم. با استفاده از این جبرها یک نظم تقریبی برای محاسبات با زمان و برای محاسبات مبتنی بر ردیابی به دست می آوریم. ما یک تعریف از جبر های امگا را برای بیان تکرار در مدل جدید معرفی می کنیم.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
The notion of progress appears in various computation models, for example, in the form of traces getting longer, passing of real time, incrementing a counter, going from termination to non-termination. We introduce a model of sequential computations that generalises and abstracts these examples. We generalise existing algebras for non-terminating executions and instantiate these with our model. Using these algebras we derive an approximation order for computations with time and for trace-based computations. We introduce a generalisation of omega algebras to express iteration in the new model.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 4, June 2016, Pages 520-539
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 4, June 2016, Pages 520-539
نویسندگان
Walter Guttmann,