This is an old revision of the document!
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: pdf
- Java distribution: 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>