OBJ (programming language)
From Wikipedia, the free encyclopedia
OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.
OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.