کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6874855 1441444 2018 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A modular reasoning system using uninterpreted predicates for code reuse
ترجمه فارسی عنوان
یک سیستم استدلال مدولار با استفاده از مفاهیم غیر تعریف شده برای استفاده مجدد کد
کلمات کلیدی
استفاده مجدد کد استدلال مدولار، استدلال اولیه، مفاهیم غیر تعریف شده، صدا، تکمیل
ترجمه چکیده
این مقاله یک سیستم اثبات مدولار مبتنی بر مفاهیم غیر تعریف شده ارائه می دهد. سیستم پیشنهادی پیشنهادی، استدلال مدولاسیون را در مورد برنامه هایی با یک فرض جهانی باز می کند، که فراتر از فرایندهای رفتاری است. سیستم اثبات می کند استدلال ماژولار در مورد زبان ها را با مکانیسم های مجدد استفاده مجدد کد از قبیل صفات و دلالت ها در زمینه برنامه نویسی شی گرا. در حالی که کار مرتبط در سیستم های اثبات افزایشی، از لحاظ سازگاری داخلی ثابت می کند، این مقاله هر دو صحیح و کامل نسبی سیستم پیشنهادی پیشنهاد شده را با ارتباط آن با یک سیستم اثبات استاندارد برای یک زبان شی گرا ساده می سازد. کاربرد رویکرد در مکانیزم های مختلف استفاده مجدد کد نشان داده شده است: ارثی کلاس نامحدود، برنامه نویسی دلتا گرا و برنامه ریزی مبتنی بر صفات.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
یک سیستم استدلال مدولار با استفاده از مفاهیم غیر تعریف شده برای استفاده مجدد کد
چکیده انگلیسی
This paper proposes a modular proof system based on uninterpreted predicates. The proposed proof system allows modular reasoning about programs with an open-world assumption, which goes beyond behavioral subtyping. The proof system enables modular reasoning about languages with very flexible code reuse mechanisms, such as traits and deltas in the context of object-oriented programming. Whereas related work on incremental proof systems prove soundness in terms of internal consistency, this paper establishes both soundness and relative completeness of the proposed proof system by relating it to a standard proof system for a simple object-oriented language. The applicability of the approach is demonstrated on different code reuse mechanisms: unrestricted class inheritance, delta-oriented programming, and trait-based programming.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 95, February 2018, Pages 82-102
نویسندگان
, , , ,