OBJ

OBJ can refer to:

Object file generated by a Compiler, and later assembled into program files using a Linker

The geometry definition file format OBJ

A programming language (see below)

OBJ is a programming language family introduced by Joseph Goguen in 1976.

A family of declarative programming ultra high-level languages. abstract data type, generic module, subsort (subtypes with multiple inheritance), pattern matching modulo equations, E-strategies (user control over lazy evaluation), module expressions (for combining modules), theories and views (for describing module interface). For the massively parallel RRM (Rewrite Rule Machine).

Important members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo (OBJ), Maude (OBJ) and OBJ3.

=See also=

Automated theorem proving

Formal methods

Functional programming

=Reference=

Higher-Order Functions Considered Unnecessary for Higher-Order Programming , J.A. Goguen, in Research Topics in Functional Programming .

=External links=

*[http://vl.fmnet.info/obj/ The OBJ archive] *[http://www.cs.ucsd.edu/users/goguen/sys/obj.html The OBJ family]