A computer language for defining data structures.