OBJ0(ID:2291/obj001)

OBJ0 Tardo. Based on unsorted equational logic.

first of the OBJ implementations

"Initial  implementations of OBJ were done from 1977 to 1979 at UCLA by Joseph Tardo as OBJ0 and  OBJT using error algebras plus an "image" construct for parameterization"
Places
Related languages
OBJ => OBJ0   Implementation
OBJ0 => OBJ1   Evolution of
OBJ0 => OBJT   Evolution of
References:
  • Joseph Goguen and Joseph Tardo. "OBJ-0 preliminary users manual" Semantics and theory of computation report 10, UCLA, 1977. view details
  • Goguen, Joseph "Some design principles and theory for OBJ-0, a language for expressing and executing algebraic specifications of programs" view details
          in Blum, Edward; Paul, Manfred and Satsoru Takasu, editors, Proceedings, Conference on Mathematical Studies of Information Processing, Springer, 1979. Lecture Notes in Computer Science, Volume 75. view details