Software systems

• EQLOG system, an equational and constraint logic programming system with subtypes and generic modules, extension of the OBJ3 system.
• CafeOBJ algebraic multi-paradigm language, succesor of the OBJ, and implementing some modern developments in algebraic specification such as rewriting logic and behavioural specification, as well as their combination.
• A syntax-directed editor for OBJ-family of languages as a mode in Emacs.