El OBJ2 es un lenguaje de programación con Claro-como módulos parametrised y un sistema funcional basado en ecuaciones.