contract-based

Spectre is a new programming language for safe, contract-based low-level systems programming, enforcing immutability by default and compile-time/runtime contract checking. It compiles via QBE IR and includes a feature to translate C code to Spectre.