Usually with runtime checks, but it can also in some situations be done statical...

		throwaway81523 on Oct 30, 2021 \| parent \| context \| favorite \| on: Ada is not just another programming language (1986... Usually with runtime checks, but it can also in some situations be done statically, such as with SPARK.