تقرير
Expressiveness of Generic Process Shape Types
| العنوان: | Expressiveness of Generic Process Shape Types |
|---|---|
| المؤلفون: | Jakubuv, Jan, Wells, J. B. |
| سنة النشر: | 2010 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Logic in Computer Science |
| الوصف: | Shape types are a general concept of process types which work for many process calculi. We extend the previously published Poly* system of shape types to support name restriction. We evaluate the expressiveness of the extended system by showing that shape types are more expressive than an implicitly typed pi-calculus and an explicitly typed Mobile Ambients. We demonstrate that the extended system makes it easier to enjoy advantages of shape types which include polymorphism, principal typings, and a type inference implementation. Comment: Submitted to Trustworthy Global Computing (TGC) 2010. |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/1003.6096 |
| رقم الأكسشن: | edsarx.1003.6096 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |