Programming Language

Polychrony - Compiler

A batch compiler for the Signal language

KerMeta

Kermeta is a Model-Oriented language based on an object-oriented executable meta-modeling paradigm Kermeta features a comprehensive environment for MetaModel Engineering, including : specification of abstract syntax, static semantic (OCL) and dynamic semantics as well with connexion to the concrete syntax. model and meta-model simulation and prototyping model transformation aspect weaving

JSPEC

JSpec is a partial evaluator for Java programs. It is currently being applied in various domains such as image processing, checkpointing, computer graphics, scientific computation and software engineering.

TEMPO

Partial evaluator for C.

TSF

TSF aims at developping a new kind of tool to adapt codes to high performance computers. Version 1.0 of October 1998.