Directory | Tags | Index | LinkIt | Submit   | Help
    Thursday, 08 October 2015 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > By Topic > Science and Engineering > Mathematics

View the dependency graph for this library

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
Mailing list
Version1.4.6p5 - Tuesday, 22 November 2005
OS compatibilityLinux, Windows, MacOS X
ASDF installableNo
Official Download
Mirrored Download
Source code repository

The OBJ Family of algebraic specification and programming languages

Compatible Implementations

Allegro Common Lisp | CMUCL | CLISP | GCL


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


You must be logged to add a comment