contract-based

Spectre 是一种用于安全、基于合约的低级系统编程的新编程语言，默认强制不可变性，并支持编译时/运行时合约检查。它通过 QBE IR 编译，并包含将 C 代码转换为 Spectre 的功能。