H ? « »

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


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

  • 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