Բլոգ

Eurydice: Rust- լեզվի կազմը ընթեռնելի C-ում բարձր վստահելիության ծրագրերի համար

Eurydice-ն, Aeneas նախագծի մասը, Rust-ի կոդը ընթեռնելի C-ի կոդի վերածում է և պահպանում ծրագրի կառուցվածքը։ Այն նախատեսված է բարձր վստահելիության ծրագրերի համար, որտեղ վերիֆիկացիայի և համապատասխանության գործիքները պահանջում են C-ն որպես մուտքային տվյալ։