CEDAR Taxonomic Reasoner is an evaluation tool we developed to ease experimenting with several Semantic Web reasoners and taxonomies. Using the provided GUI, we can select a reasoner, load a taxonomy, classify taxonomy and querying. The tool include CEDAR reasoner which is several orders-of-magnitude more efficiently in terms of response time. The software and related publications can be downloaded from the link below
This is a 100%-Java compiler compiler (an LALR(k) compiler generator), developed by Hassan Aït-Kaci over the years as a personal automatic programming set of tools to ease quick and convenient specification and/or modification of the syntax and operational semantics of a formal computational language. It is a toolkit for specifying syntactic and semantic constructs for structural or computational language definition and implementation. Its overall description is overviewed in "An Abstract, Reusable, and Extensible Programming Language Design Architecture."
LIFE is a programming language with a powerful facility for structured type inheritance. LIFE reconciles styles from functional programming and logic programming by implicitly delegating control to an automatic suspension mechanism. This allows interleaving interpretation of relational and functional expressions that specify abstract structural dependencies on objects. Together, these features provide a convenient and versatile power of abstraction for very high-level expression of constrained data structures. LIFE is a generalization of Prolog and can be downloaded and run from the link below which contains also related publications.