This is an old revision of the document!

A PCRE internal error occured. This might be caused by a faulty plugin

Numerical Transition Systems Library ==================================== The NTS-lib consists of a language specification (NTL), a parser for the language, abstract syntax tree classes, and a pretty-printer. The NTS-lib provides a common exchange format for numerical program benchmarks. * The **NTL language specification**: {{:ntslib.pdf|pdf}} * **Java** distribution: {{:java-nts-1.0.0.tgz|java-nts-1.0.0.tgz}} * **OCaml** distribution: to be released soon For suggestions concerning the design and implementation of the NTS library, please contact: * Filip Konecny <filip dot konecny at imag dot fr> * Radu Iosif <radu dot iosif at imag dot fr>