OBJ (programming language): Difference between revisions

Content deleted Content added
resectioning per WP:LEAD
Expanding lede and adding source.
Line 1:
'''OBJ''' is a [[programming language]] family introduced by [[Joseph Goguen]] in 1976, and further worked on by [[Jose Meseguer]].
 
==Overview==
Line 15:
==References==
* J. A. Goguen, [http://cseweb.ucsd.edu/~goguen/pps/utyop.ps Higher-Order Functions Considered Unnecessary for Higher-Order Programming]. In ''Research Topics in Functional Programming''.
*Goguen, Joseph A., et al. "Introducing obj." Software Engineering with OBJ. Springer, Boston, MA, 2000. 3-167.
* {{FOLDOC}}