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

دستور و معناشناسی یک زبان دامنه خاص برای طراحی جریان شبکه ☆

عنوان انگلیسی
The syntax and semantics of a domain-specific language for flow-network design ☆
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
70389 2014 20 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 21 روز بعد از پرداخت 866,800 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 11 روز بعد از پرداخت 1,733,600 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

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

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

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

Journal : Science of Computer Programming, Volume 93, Part A, 1 November 2014, Pages 19–38

ترجمه کلمات کلیدی
مشخصات شبکه؛ حفاظت جریان؛ محدودیت ظرفیت - تایپ کردن؛ فضای برداری
کلمات کلیدی انگلیسی
Network specification; Flow conservation; Capacity constraint; Typing; Vector space
پیش نمایش مقاله
پیش نمایش مقاله دستور و معناشناسی یک زبان دامنه خاص برای طراحی جریان شبکه ☆

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

Flow networks are inductively defined, assembled from small components to produce arbitrarily large ones, with interchangeable functionally-equivalent parts. We carry out this induction formally using a domain-specific language (DSL). Associated with our DSL are a semantics and a typing theory. The latter gives rise to a system of formal annotations that enforce desirable properties of flow networks as invariants across their interfaces. A prerequisite for a typing theory is a formal semantics, i.e., a rigorous characterization of flows that are safe for the network (limited to the notion of feasible flows in this paper, unfeasible flows being considered unsafe). We give a detailed presentation of a denotational semantics only, but also point out the elements that an equivalent operational semantics must include.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 21 روز بعد از پرداخت 866,800 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 11 روز بعد از پرداخت 1,733,600 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.