TL;DR
- چکیده: کارایی و خاتمه زمان اجرا، ویژگیهای مهمیدر مطالعات تأیید برنامه هستند.
- به جای پرداختن به این مسائل به صورت موقت،.
- توسعه یک چارچوب قوی که در آن چنین ویژگیهایی با طراحی تضمین شده باشد،.
چه اتفاقی افتاد
چکیده: کارایی و خاتمه زمان اجرا، ویژگیهای مهمیدر مطالعات تأیید برنامه هستند. به جای پرداختن به این مسائل به صورت موقت،.
توسعه یک چارچوب قوی که در آن چنین ویژگیهایی با طراحی تضمین شده باشد،. مفید خواهد بود.
این مقاله یک زبان برنامهنویسی ضروری جدید را معرفی میکند که طراحی آن بر اساس یک. سیستم نوع ایستا است که ویژگی هم ارزی زیر را تضمین میکند:.
همه برنامههای قابل تعریف تضمین میشوند که در زمان چند جملهای اجرا شوند. برعکس،.
تمام مسائل قابل حل در زمان چند جملهای را میتوان با برخی از برنامههای زبان. حل کرد.
سهم این کار دوچندان است. در جنبه نظری،.
خاصیت هم ارزی بنیادی ثابت میشود و اثبات قضیه هم ارزی غیر پیش پا افتاده است. از جنبه عملی،.
یک رویکرد برنامهنویسی پیشنهاد شده است که میتواند تحلیل و تأیید برنامه را برای امکانپذیری سادهتر کند محاسبات. یک مترجم برای زبان پیادهسازی شده است که امکانپذیری این رویکرد را در عمل نشان میدهد.
زبانهای برنامهنویسی (cs. PL) استناد بهعنوان: (یا v2 [cs.
PL] برای این نسخه) https:. // شده توسط arXiv از طریق DataCite مرجع مجله:.
SAS 2025 پیوند (های) منابع مرتبط تاریخچه ارسال از:. Weijun Chen [مشاهده ایمیل] [v1] جمعه،.
25 ژوئیه 2025،. 11:.
35:. 16 UTC (65 KB) [v2] جمعه،.
3 آوریل 2026،. 08:.
29:. 16 UTC (62 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.