کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951470 | 689165 | 2016 | 24 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Abstract categorical semantics for resourceful functional reactive programming
ترجمه فارسی عنوان
واژگان کلیدی مقبولیتی برای برنامه نویسی واکنشی کاربردی مفید
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Functional reactive programming (FRP) makes it possible to express temporal aspects in a declarative way. Traditional approaches to FRP cannot handle objects like widgets in a graphical user interface or files in a file system. Therefore, programmers have to resort to ordinary methods of effectful programming when working with objects. In this paper, we devise a variant of FRP with support for objects, called “resourceful FRP”, and develop an abstract categorical semantics for this FRP variant.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 6, October 2016, Pages 1177-1200
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 6, October 2016, Pages 1177-1200
نویسندگان
Wolfgang Jeltsch,