OBJ (programming language): Difference between revisions

Revision as of 18:04, 12 December 2016

Revision as of 20:54, 25 December 2016

Line 6:

==OBJ3==

'''OBJ3''' is a version of [[OBJ (programming language)|OBJ]] based on [[Order theory|order]]-sorted [[rewriting]]. OBJ3 is [[Intelligent agent|agent]]-oriented and runs on [[Kyoto Common Lisp]] AKCL.

==See also==

Line 13:

==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''.

{{FOLDOC}}

Line 28:

[[Category:Theorem proving software systems]]

[[Category:Term-rewriting programming languages]]

{{compu-lang-stub}}