Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
ntscomp_ntslib [2011/12/11 12:46] radu.iosif |
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: {{: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> | + | |