کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875269 | 1441593 | 2018 | 42 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Effect-dependent transformations for concurrent programs
ترجمه فارسی عنوان
تحولات وابسته به اثر برای برنامه های همزمان
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
همبستگی برنامه، همگام سازی متغیر، رابطه منطقی، معانی انتزاعی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Our semantics is based on refining a trace-based semantics for first-order programs due to Brookes. By moving from concrete to abstract locations, and adding type refinements that capture the possible side-effects of both expressions and their concurrent environments, we are able to validate many equivalences that do not hold in an unrefined model. The meanings of types are expressed using a game-based logical relation over sets of traces. Two programs e1 and e2 are logically related if one is able to solve a two-player game: for any trace with result value v1 in the semantics of e1 (challenge) that the player presents, the opponent can present an (response) equivalent trace in the semantics of e2 with a logically related result value v2.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 155, 1 April 2018, Pages 27-51
Journal: Science of Computer Programming - Volume 155, 1 April 2018, Pages 27-51
نویسندگان
Nick Benton, Martin Hofmann, Vivek Nigam,