Differences

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

Link to this comparison view

Both sides previous revision Previous revision
ntscomp_ntslib [2013/01/14 13:13]
filip.konecny
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}} +
-  * Benchmark ​[[https://github.com/hhojjat/NTSLib|examples]] +
-  * **Java** distribution: ​ {{:​nts-java.tgz|nts-java.tgz}} (build of 2013/01/14)  +
-  * **OCaml** distribution:​ {{ocaml-nts.tgz|ocaml-nts.tgz}} (build of 2012/​07/​11) +
- +
-IMPORTANT: The standardization of NTS is still ongoing. For this reason, slight changes in the language are to be expected in the future. These changes will not affect the basic language constructs, therefore existing NTS clients will work with future releases. For suggestions concerning the design and implementation of the NTS library, please contact: +
-  * Filip Konecny <filip dot konecny at imag dot fr> +
-  * Florent Garnier <florent dot garnier at imag dot fr> +
-  * Radu Iosif <radu dot iosif at imag dot fr>+