Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
ntscomp_ntslib [2011/04/08 17:26] radu.iosif created |
ntscomp_ntslib [2013/02/13 10:48] (current) radu.iosif |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | Numerical Transition Systems Library | + | This page has moved [[http://nts.imag.fr/index.php/Main_Page|here]] |
- | ==================================== | + | |
- | + | ||
- | 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: to be released soon | + | |
- | * Ocaml distribution: to be released soon | + | |
- | * C++ distribution: to be released soon | + |