کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951414 1441451 2017 23 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Flag-based big-step semantics
ترجمه فارسی عنوان
معناشناسی بزرگی گام بر اساس پرچم
کلمات کلیدی
ترجمه چکیده
خصوصیات معنایی عملیاتی سازه ای در سبک های مختلف می باشد: مرحله کوچک و مرحله ای بزرگ. یک مشکل با سبک بزرگ گام این است که مشخص کردن واگرایی و فشرده شدن ناگهانی باعث تکرار آزار دهنده می شود. ما رویکرد جدیدی را برای نشان دادن واگرایی و خاتمه ناگهانی در معانی معرفت بزرگ با استفاده از پرچم وضعیت ارائه می کنیم. این از مشکل تکثیر جلوگیری می کند و از قواعد و مقاصد کمتر برای نشان دادن واگرایی استفاده می کند تا رویکردهای قبلی در ادبیات.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
معناشناسی بزرگی گام بر اساس پرچم
چکیده انگلیسی
Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termination gives rise to annoying duplication. We present a novel approach to representing divergence and abrupt termination in big-step semantics using status flags. This avoids the duplication problem, and uses fewer rules and premises for representing divergence than previous approaches in the literature.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 88, April 2017, Pages 174-190
نویسندگان
, ,