Revision as of 23:39, 5 December 2016 edit Omnipaedista (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 267,120 edits grammar fix ← Previous edit		Revision as of 18:03, 12 December 2016 edit undo Dgpop (talk \| contribs) Extended confirmed users 57,720 edits Moved OBJ3 page info here: small section, external link Next edit →
Line 4: Important members of the OBJ family of languages include [[CafeOBJ]], [[Eqlog]], [[FOOPS]], [[Kumo (OBJ)\|Kumo]], [[Maude system\|Maude]] and [[OBJ3]]. ==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. It is now of (important) historical interest since newer versions of the OBJ family are available. ==See also== Line 17 ⟶ 20: [http://vl.fmnet.info/obj/ The OBJ archive] [http://www.cs.ucsd.edu/users/goguen/sys/obj.html The OBJ family] *[http://www-cse.ucsd.edu/users/goguen/pps/iobj.ps Information and OBJ3 manual], [[PostScript]] format [[Category:Academic programming languages]]

OBJ (programming language): Difference between revisions