MttCheck Project

  1. Introduction
  2. Publications
  3. Manual
  4. Download
  5. Installation
  6. Members

What is MttCheck?

MttCheck is a project under the grant of the Deutsche Forschungsgemeinschaft. The goal of the project is to develop an O'Caml library for typechecking XSL transformations based on macro tree transducers.

Where can I find publications?

The project relevant publications are listed here.

How can I use MttCheck?

The program mttchk type checks macro tree transducer or TL programs with respect to a predefined output type...more

What is the Latest Version

The latest version can be found on the download page.

How do I install MttCheck?

  1. Prerequisites:

  2. Compilation:

    • unpack tar ball by typing:

      tar xzvf mttchk-1.tgz
      cd mttchk_release-1

    • Typing

      make

      in the src directory will compile the files and produce an executable mttchk, which can be copied to another location.

Who belongs to the MttCheck project?