---
title: "Contract Programming"
summary: "Contract Programming: a page of the HPC note."
date: 2026-09-11
author: hpcnotes
kind: note
parent: hpc-compilation
order: 6
tags: hpc
draft: false
---

restrict, noexcept, and the promises the optimiser is allowed to believe.