دانلود مقاله ISI انگلیسی شماره 142979
ترجمه فارسی عنوان مقاله

ردیابی استثنا در یک دنیای باز

عنوان انگلیسی
Exception tracking in an open world
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
142979 2018 7 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 5079 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 70 تومان 11 روز بعد از پرداخت 355,530 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 140 تومان 6 روز بعد از پرداخت 711,060 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

پیشنهاد می کنیم کیفیت محتوای سایت خود را با استفاده از منابع علمی، افزایش دهید.

سفارش تولید محتوا کد تخفیف 10 درصدی: isiArticles
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Theoretical Computer Science, Available online 2 March 2018

ترجمه کلمات کلیدی
ردیابی استثنا، اصلاحاتی را تایپ کنید فرضیه جهانی، طبقه بندی پویا، تأیید برنامه،
کلمات کلیدی انگلیسی
Exception tracking; Type refinements; Open-world assumption; Dynamic classification; Program verification;
پیش نمایش مقاله
پیش نمایش مقاله ردیابی استثنا در یک دنیای باز

چکیده انگلیسی

A refinement is a predicate on the elements of a type that describes their execution behavior. Much work has gone into developing refinements in a closed world, in which the classes of values of a type are fixed statically, as in the case of the natural numbers with zero and succ. Relatively little work has gone into developing refinements in an open world in which new classes may be added dynamically. Here we examine the problem of exception tracking, a perennially problematic typing concept for programming languages, from the point of view of refinements in an open world. Exceptions are decomposed into separate control and data mechanisms, the latter motivating the need for open-world refinements. Exception tracking is thereby repositioned as a matter of program verification, rather than structural typing, integrating behavioral typing with theorem proving even in an open world. Some further applications of dynamic classification and open-world refinements are suggested.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 5079 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 70 تومان 11 روز بعد از پرداخت 355,530 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 140 تومان 6 روز بعد از پرداخت 711,060 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.