Revision as of 00:12, 22 August 2021 edit Mathnerd314159 (talk \| contribs) Extended confirmed users 3,253 edits merge in OBJ2 ← Previous edit		Revision as of 20:01, 30 November 2021 edit undo Kvng (talk \| contribs) Extended confirmed users, New page reviewers 116,026 edits m mv {{FOLDOC}} to talk Next edit →
Line 17: * [[Formal methods]] ==~~Bibliography~~References== {{Reflist}} * 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'' (June 1990). pp. 309–351. Line 23: * {{citation \|last1=J. A. Goguen \|last2=T. Winkler \|last3=J. Meseguer \|last4=K. Futatsugi \|last5=J.-P. Jouannaud \|chapter=Introducing OBJ \| title=Software Engineering with OBJ: Algebraic Specification in Action \|editor-last1=J. A. Goguen \|editor-last2=G. Malcolm \|date=2000 \|publisher=Springer Science+Business Media, New York, NY \|pages=3–167 \|isbn=978-1-4757-6541-0}} * {{FOLDOC}} ==External links== *[https://web.archive.org/web/20051028140059/http://vl.fmnet.info/obj/ The OBJ archive]

OBJ (programming language): Difference between revisions