Course Software

Software

The following software will be used in the lab assignments :

• ATerm Library
• SDF2 Bundle
• Stratego/XT
• Stratego Shell
• Java-front
• Dryad

Although Stratego/XT supports Linux, Mac OS X, and Cygwin, the packages Java-front (not at Cygwin) and Dryad (only Linux) are currently less portable. So, you are required to work on a Linux machine.

Using Nix Channel

All software is available in a Nix channel. See getting started for instructions how to use this channel.

• http://nix.cs.uu.nl/dist/courses/nixpkgs-pt-unstable-latest/

Nix is available at:

• http://www.cs.uu.nl/wiki/Trace/Nix

Using RPMs or Tarballs

If you cannot use the Nix channel, then you will need to install the following packages:

• aterm 2.4.2
• latest sdf2-bundle
• latest strategoxt
• latest stratego-shell
• latest java-front
• latest dryad

Installation of RPMs is recommended, since the packages need to be configured and installation from source will take some time. For the configuration of the tarballs first follow the installation instructions for Stratego/XT.

Questions

Course specific questions can be send to pt@cs.uu.nl. Stratego questions can also be send to stratego@cs.uu.nl. We also have an IRC channel for Stratego: irc.freenode.com/#stratego.