H ? « »

Language peer sets for OBJ0:
United States
United States/1977
Designed 1977
1970s languages
Fourth generation
High Cold War


alternate simple view
Country: United States
Designed 1977
Published: 1977

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"

Related languages
OBJ OBJ0   Implementation
OBJ0 OBJ1   Evolution of
OBJ0 OBJT   Evolution of

  • Joseph Goguen and Joseph Tardo. (1977) Joseph Goguen and Joseph Tardo. "OBJ-0 preliminary users manual" Semantics and theory of computation report 10, UCLA, 1977.
  • Goguen, Joseph (1979) Goguen, Joseph "Some design principles and theory for OBJ-0, a language for expressing and executing algebraic specifications of programs"
          in Blum, Edward; Paul, Manfred and Satsoru Takasu, ed (1979) 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.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder