Login/Register to vote and to have access to more featuresYou are here: Root > By Topic > Science and Engineering > Mathematics
View the dependency graph for this libraryCafeOBJ
Created by amoroso on: Sat, 28 Jan 2006 12:42:15 GMT, Last modification: Sat, 28 Jan 2006 12:42:15 GMT
CafeOBJ is an algebraic specification and programming language that is a successor of OBJ. In addition to OBJ features, it implements new paradigms such as rewriting logic, hidden algebra, and their combination.
| Web site | http://www.ldl.jaist.ac.jp/cafeobj/ |
| Mailing list | |
| Version | 1.4.6p5 - Tuesday, 22 November 2005 |
| Maturity | Stable |
| OS compatibility | Linux, Windows, MacOS X |
| ASDF installable | No |
| Official Download | http://www.ldl.jaist.ac.jp/cafeobj/system.html |
| Mirrored Download | |
| Source code repository |
Compatible Implementations
Allegro Common Lisp | CMUCL | CLISP | GCL
Tags
Mathematics | Language Extensions | Libraries | Linux | Mac OS X | Windows family
0 Notes and 0 comments
0 Notes
You must be logged to add a note
0 Comments
You must be logged to add a comment