H ? « ‹ ← → › »

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

OBJT(ID:3679/obj024)

alternate simple view
Country: United States
Designed 1979

1979 Joseph Tardo
implementation of OBJ which included both subsorts and generic modules, though not yet in their final form

"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
OBJ0 → OBJT   Evolution of
OBJT → OBJ1   Evolution of
References:
  • Joseph Tardo. (1981) Joseph Tardo. "The Design, Specification and Implementation of OBJT: A Language for Writing and Testing Abstract Algebraic Program Specifications" PhD thesis, UCLA, Computer Science Department, 1981.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder