کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6876061 690199 2015 27 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Observational program calculi and the correctness of translations
ترجمه فارسی عنوان
شمارش برنامه های مشاهده شده و صحت ترجمه ها
کلمات کلیدی
همبستگی متقابل، صحت، معناشناسی، ترجمه ها،
ترجمه چکیده
برای مسئله ترجمه ها بین زبان های برنامه نویسی با معانی نظری، این مقاله، مفاهیم، ​​سوالات مرتبط و روش ها را روشن می کند. این یک چارچوب کلی را ایجاد می کند و چندین ابزار را برای اثبات ویژگی های صحیح مختلف ترجمه مانند کفایت و انتزاع کامل با تأکید ویژه بر صحت مشاهده فراهم می کند. ما نشان خواهیم داد که طیف گسترده ای از زبان های برنامه نویسی و زبان برنامه نویسی و ترجمه های آنها می تواند از چارچوب ما برای تمرکز تجزیه و تحلیل صحت آنها استفاده کند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
شمارش برنامه های مشاهده شده و صحت ترجمه ها
چکیده انگلیسی
For the issue of translations between programming languages with observational semantics, this paper clarifies the notions, the relevant questions, and the methods; it constructs a general framework, and provides several tools for proving various correctness properties of translations like adequacy and full abstractness, with a special emphasis on observational correctness. We will demonstrate that a wide range of programming languages and programming calculi and their translations can make advantageous use of our framework for focusing the analysis of their correctness.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 577, 27 April 2015, Pages 98-124
نویسندگان
, , , ,