The following pages link to OBJ (programming language)
External toolsShowing 17 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- 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)
- Misplaced Pages: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)