موردی برای برنامه نویسی Rust به عنوان یک تغییر دهنده بازی برای سنتز سطح بالا

1 مقدمه

2 لینک رقص

3 زبان برنامه نویسی Rust

4 RAC: تضمین مشترک سخت افزار/نرم افزار در مقیاس

5 زنگ و RAR

5.1 زنگ الگوریتمی محدود

6 پیوند رقص در Rust و 6.1 تعاریف

6.2 ترجمه به ACL2

6.3 قضایای پیوندهای رقص

7 کارهای مرتبط

8 نتیجه گیری

9 قدردانی و مراجع

3 زبان برنامه نویسی Rust

زبان برنامه نویسی Rust به عنوان یک زبان برنامه نویسی مدرن، ایمن، ایمن، حافظه ای ایمن و به طور بالقوه قابل تجزیه و تحلیل رسمی مورد توجه و استفاده قابل توجهی قرار گرفته است. گوگل [29] و آمازون [25] از پذیرندگان اصلی Rust هستند و لینوس توروالدز در مورد توانایی کوتاه مدت زنجیره ابزار Rust برای استفاده در توسعه هسته لینوکس اظهار نظر مثبتی کرده است. [1]. و پس از گذراندن دهه‌ها برای مقابله با رژه بی‌پایان آسیب‌پذیری‌های امنیتی ناشی از C/C++، که همچنان با سرعت بالایی آشکار می‌شوند. [24] مایکروسافت در کنفرانس توسعه دهندگان BlueHat 2023 علیرغم استفاده از ابزارهای پیچیده آنالیز C/C++ اعلام کرد که شروع به بازنویسی کتابخانه های اصلی ویندوز در Rust کرده است. [6].

علاقه ما به Rust از پتانسیل آن به عنوان یک زبان تضمین مشترک سخت افزار/نرم افزار ناشی می شود. این علاقه تا حدی ناشی از حوزه های کاربردی در حال ظهور است، مانند سکوهای مستقل و نیمه مستقل برای زمین، دریا، هوا و فضا، که …

Source link