۱ مطلب با این برچسب
زبان برنامه‌نویسی جدید Evergreen تلاش می‌کند با ادغام پیش‌شرط‌ها، پس‌شرط‌ها و وارون‌سازها درون ساختار زبان، ایمنی کدهای سیستمی را در سطح کامپایلر اثبات کند. این پروژه تازه‌تأسیس که با کمک ابزارهای هوش مصنوعی توسعه یافته، مباحثی پیرامون زبان‌های دارای انواع وابسته و ابزارهای اثبات رسمی را در انجمن‌های تخصصی مطرح کرده است.