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

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

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

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

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

کلمات کلیدی
مشخصات شبکه؛ حفاظت جریان؛ محدودیت ظرفیت - تایپ کردن؛ فضای برداری
پیش نمایش مقاله
پیش نمایش مقاله دستور و معناشناسی یک زبان دامنه خاص برای طراحی جریان شبکه ☆

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

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.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.