Pages that link to "OBJ (programming language)"
Showing 17 items.
- Abstract data type (links | edit)
- June 28 (links | edit)
- July 3 (links | edit)
- OBJ2 (redirect to section "OBJ2") (links | edit)
- OBJ3 (redirect to section "OBJ3") (links | edit)
- OBJ (programming language) (links | edit)
- Maude system (links | edit)
- Talk:OBJ3 (links | edit)
- User:Chalst/logic-watchlist (links | edit)
- User:Leland McInnes/Draft Algebraic Specification (links | edit)
- User:Hotfeba/logic dictionary stubs (links | edit)
- User:Tule-hog/All Computing articles (links | edit)
- Wikipedia:Dump reports/Hydrogen (links | edit)
- Joseph Goguen (links | edit)
- List of University of California, San Diego people (links | edit)
- Formal specification (links | edit)
- Algebraic specification (links | edit)
- OBJ (links | edit)
- Algebraic semantics (computer science) (links | edit)
- Dansk Datamatik Center (links | edit)
- Jose Meseguer (links | edit)
- Talk:Algebraic data type (links | edit)
- Talk:OBJ (programming language) (transclusion) (links | edit)
- User:Laiwoonsiu (links | edit)
- User:Tule-hog/All Computing articles (links | edit)