کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
431349 | 1441268 | 2010 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Stronger compositions for retrenchments
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Stronger compositions for retrenchments Stronger compositions for retrenchments](/preview/png/431349.png)
چکیده انگلیسی
Noting that the usual ‘propositionally’ based way of composing retrenchments can yield many ‘junk’ cases, alternative approaches to composition are introduced (via notions of tidy, neat, and fastidious retrenchments) that behave better in this regard. These alternatives do however make other issues such as associativity harder. The technical details are presented for vertical composition of retrenchments (i.e. the composition of successive retrenchment steps).
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 79, Issues 3–5, April–July 2010, Pages 215–232
Journal: The Journal of Logic and Algebraic Programming - Volume 79, Issues 3–5, April–July 2010, Pages 215–232
نویسندگان
R. Banach, C. Jeske,