OBJ (programming language): Difference between revisions

Revision as of 18:06, 4 December 2006

Revision as of 19:28, 9 July 2007

Line 1:

{{otheruses}}

:''Obj or OBJ can also refer to computer [[Object file]]s or the [[Obj|.obj file format]].''

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

Line 8:

==See also==

* [[Automated theorem proving]]

* [[Formal methods]]

Line 14 ⟶ 13:

==References==

* J. A. Goguen, Higher-Order Functions Considered Unnecessary for Higher-Order Programming. 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]