OBJ (programming language)

OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer. == Overview == It is a family of declarative "ultra high-level" languages.