Difference between revisions of "Numerical Transition Systems:Nts-lib"
From Numerical Transition Systems
Radu iosif (Talk | contribs) (Created page with " '''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-prin...") |
Radu iosif (Talk | contribs) |
||
| Line 8: | Line 8: | ||
* OCaml distribution: ocaml-nts.tgz (build of 2012/07/11) | * OCaml distribution: 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: | + | ''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: |
Revision as of 15:18, 31 January 2013
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
- Benchmarks
- Java distribution: nts-java.tgz (build of 2013/01/14)
- OCaml distribution: 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:
