Mobile Computation with Functions

محاسبات تلفن همراه با توابع محاسبات توزیع‌شده را با زبان‌هایی که توابعی را به‌عنوان انتزاع اصلی برنامه‌نویسی می‌پذیرند و از تحرک کدها از طریق تحرک توابع بین سایت‌های راه دور پشتیبانی می‌کنند، بررسی می‌کند. هدف آن برجسته کردن مزایای استفاده از زبان های این خانواده در مواجهه با چالش های محاسبات تلفن همراه است. امکان بهره‌برداری از تکنیک‌های تحلیل استاتیک موجود نشان می‌دهد که داشتن توابع در هسته زبان کد تلفن همراه یک انتخاب مناسب است. طیف وسیعی از مشکلاتی که بر ایمنی، امنیت و عملکرد تأثیر دارند، مورد بحث قرار می‌گیرند. نشان داده شده است که انواع توسعه یافته با جلوه ها و حاشیه نویسی های دیگر می توانند مقدار قابل توجهی از اطلاعات را در مورد رفتار پویا عملکردهای تلفن همراه به دست آورند و راه حل هایی را برای مشکلات مورد بررسی ارائه دهند. این کتاب شامل بررسی زبان‌های Concurrent ML، Facile و PLAN است که نقاط قوت پارادایم عملکردی را در زمینه محاسبات همزمان و توزیع شده به ارث می‌برند. زبان هایی که در فصل های بعدی تعریف می شوند، ریشه در این زبان ها دارند.

Mobile Computation with Functions explores distributed computation with languages which adopt functions as the main programming abstraction and support code mobility through the mobility of functions between remote sites. It aims to highlight the benefits of using languages of this family in dealing with the challenges of mobile computation. The possibility of exploiting existing static analysis techniques suggests that having functions at the core of mobile code language is a particularly apt choice. A range of problems which have impact on the safety, security and performance are discussed. It is shown that types extended with effects and other annotations can capture a significant amount of information about the dynamic behavior of mobile functions, and offer solutions to the problems under investigation. This book includes a survey of the languages Concurrent ML, Facile and PLAN which inherit the strengths of the functional paradigm in the context of concurrent and distributed computation. The languages which are defined in the subsequent chapters have their roots in these languages.