Las herramientas de programación de las que nos proveen lenguajes como C, hacen posible la especificación de algoritmos formalmente y sin dar paso a ambigüedades.