OBJ2


OBJ2 is a programming language with Clear-like parametrised modules and a functional system based on equations. It is a member of the OBJ family of languages.