مجله علمی تفریحی بیبیس
0

دانلود کتاب چهاردهمین کنفرانس بین المللی ریاضیات برنامه ساخت، MPC 2022

بازدید 450
  • عنوان کتاب: Mathematics of Program Construction /14th International Conference, MPC 2022
  • نویسنده: Ekaterina Komendantskaya
  • حوزه: ریاضیات ساخت
  • سال انتشار: 2022
  • تعداد صفحه: 281
  • زبان اصلی: انگلیسی
  • نوع فایل: pdf
  • حجم فایل: 6.04 مگابایت

به مجموعه مقالات چهاردهمین کنفرانس بین المللی ریاضیات ساخت برنامه-MPC 2022 خوش آمدید! کنفرانس بین‌المللی ریاضیات ساخت برنامه (MPC) با هدف ترویج توسعه اصول و تکنیک‌های ریاضی که به‌طور آشکار در فرآیند ساخت برنامه‌های کامپیوتری کاربردی و مؤثر هستند، برگزار می‌شود. موضوعات مورد علاقه از الگوریتم تا پشتیبانی از ساخت برنامه در زبان ها و سیستم های برنامه نویسی متغیر است. حوزه‌های معمولی شامل سیستم‌های نوع، تحلیل و تبدیل برنامه، معناشناسی زبان برنامه‌نویسی، امنیت و منطق برنامه است. مفهوم “برنامه” به طور گسترده تفسیر می شود، از الگوریتم ها تا سخت افزار. MPC 2022 از مشارکت‌های نظری مرتبط با روش‌های ساخت برنامه، گزارش‌هایی درباره برنامه‌های کاربردی با پایه ریاضی محکم، و مرواریدهای برنامه‌نویسی که نمونه‌های ظریف و آموزنده‌ای از ریاضیات ساخت برنامه را ارائه می‌کنند، استقبال می‌کند. سری MPC یک کنفرانس دوسالانه است. نسخه های قبلی در پورتو، پرتغال (2019) انجام شد. Königswinter، آلمان (2015); مادرید، اسپانیا (2012); کبک سیتی، کانادا (2010)؛ مارسی، فرانسه (2008); Kuressaare، استونی (2006); استرلینگ، انگلستان (2004)؛ داگستول، آلمان (2002); پونته دی لیما، پرتغال (2000); مارستراند، سوئد (1998); Kloster Irsee، آلمان (1995); آکسفورد، انگلستان (1992); و توئنته، هلند (1989). چهاردهمین دوره کنفرانس با اجلاس پاییز منطق محاسباتی سال 2022 (CLAS 2022) که از 19 تا 30 سپتامبر 2022 در تفلیس، گرجستان برگزار شد، همراه شد. MPC 2022 شامل گفتگوهای دعوت شده، ارائه مقالات تحقیقاتی اصلی و یک پانل بحث بود.

Welcome to the proceedings of the 14th International Conference on Mathematics of Program Construction—MPC 2022! The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a ‘program’ is interpreted broadly, ranging from algorithms to hardware. MPC 2022 welcomes theoretical contributions with relevance to the methods of program construction, reports on applications with solid mathematical basis, and programming pearls that present elegant and instructive examples of the mathematics of program construction. The MPC series is a bi-annual conference; previous editions took place in Porto, Portugal (2019); Königswinter, Germany (2015); Madrid, Spain (2012); Québec City, Canada (2010); Marseille, France (2008); Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002); Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee, Germany (1995); Oxford, UK (1992); and Twente, The Netherlands (1989). The 14th installment of the conference was colocated with the Computational Logic Autumn Summit of 2022 (CLAS 2022), held during September 19–30, 2022, in Tbilisi, Georgia. MPC 2022 featured invited talks, presentations of original research papers, and a discussion panel.

این کتاب را میتوانید از لینک زیر بصورت رایگان دانلود کنید:

Download: Mathematics of Program Construction

نظرات کاربران

  •  چنانچه دیدگاه شما توهین آمیز باشد تایید نخواهد شد.
  •  چنانچه دیدگاه شما جنبه تبلیغاتی داشته باشد تایید نخواهد شد.

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد.

بیشتر بخوانید