Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
ntscomp_ntslib [2011/12/11 12:30]
radu.iosif
ntscomp_ntslib [2013/02/13 10:48]
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.tar|java-nts-1.0.0.tar}} +
-  * **OCaml** distribution:​ to be released soon+