Computation with Bounded Resources
Research Group

Jat

The Jinja Analysation Tool (jat) provides a complexity preserving transformation from Jinja bytecode programs to term rewrite system (see A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems).

News

Release of version 1.1.0
2014/07/02

Version 1.1.0 has been released. This release contains several improvements and provides additional data-flow analyses.
Release of version 1.0.0
2013/04/20

Version 1.0.0 has been released. First experiments can be found here.

Requirements

The tool is written in Haskell and requires the Glasgow Haskell Conmpiler (GHC), version 7.6.*. Furthermore, it uses the term rewriting library. Both packages provide a cabal file. For installation, invoke cabal install.

Usage

Analyse all methods in file ListAppend.jbc. Results are stored as ListAppend-Class-method.trs:
 $ jat ListAppend.jbc 
Analyse method append of class List in file ListAppend.jbc. Result is printed to stdout:
 $ jat ListAppend.jbc List append 
Return graph representation as dot file.
 $ jat -f DOT ListAppend.jbc 

Contact

email: michael(dot)schaper(at)uibk(dot)ac(dot)at