H ? « ‹ ← → › »

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

OBJ0(ID:2291/obj001)

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"

Places
Related languages
OBJ → OBJ0   Implementation
OBJ0 → OBJ1   Evolution of
OBJ0 → OBJT   Evolution of
References:
  • 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