Directory | Tags | Index | LinkIt | Submit   | Help
    Tuesday, 22 July 2014 - 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

CafeOBJ
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.

eMail
Web sitehttp://www.ldl.jaist.ac.jp/cafeobj/
Mailing list
Version1.4.6p5 - Tuesday, 22 November 2005
MaturityStable
OS compatibilityLinux, Windows, MacOS X
ASDF installableNo
Official Downloadhttp://www.ldl.jaist.ac.jp/cafeobj/system.html
Mirrored Download
Source code repository

The OBJ Family of algebraic specification and programming languages

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