Programming languages used to implement high integrity software.