GaCeLa es el nombre de una notación para el pseudolenguaje de programación GCL (Guarded Command Language ó comandos guardados) original de Edsger Dijkstra. Se trata de una aproximación a un compilador verificante que genera programas que deben cumplir con su especificación o bien son interrumpidos durante su ejecución.

Las gacelas (Gaela spp.) son antílopes de tamaño medio, ágiles y de patas largas. Pueden alcanzar velocidades de 100 km/h, y mantener una velocidad de 50 km/h por un periodo prolongado. Se las encuentra en las praderas de las sabanas de África, aunque también en el sudoeste de Asia. Viven en grandes rebaños y son animales herbívoros. Se reúnen en rebaños dispersos que pueden contener varios miles de individuos. Para sobrevivir en campo abierto, deben estar atentos todo el tiempo. Aunque a menudo se echan, no duermen más de una hora al día, en cortos períodos de cinco minutos o menos.