Stratego -- Strategies for Program Transformation


The ECMAScript-model package is an executable model of the ECMAScript Edition 4 programming language. The source code represents a small-step operational semantics for the language, which is used to generate the es4-step executable, a command-line stepper for ECMAScript programs.


Stable Releases

Currently, no stable releases are available.

Latest Developments

Distributions (tarball, rpm, srpm) of the head revision are created continuously:

The distributions contain the latest of the latest developments, but if you really want to, the latest sources can be checked out using:

  svn checkout
Before you can configure the package as described above you have to run the ./bootstrap script.


ECMAScript-model requires:

Install ECMAScript-model package with the usual sequence of commands:

$ ./configure
$ make
$ make install

You might need to set your PKG_CONFIG_PATH if you did not install the dependencies in a standard location. Configure will tell you to do this if it cannot find aterm, sdf, or strategoxt.

Project Info

Issue Tracking

We use JIRA to keep track of issues. Please report any issues that you encounter!



Source Repository

The sources are available from Subversion:

Build Status

You can track the status of automatic builds at: