Accrue Tutorial Setup

This page contains instructions on setting up the environment for the Accrue tutorial.

Installation of Accrue is straightforward, but not directly needed for this tutorial, as the Eclipse projects below include jars of the Accrue classes and source code. The Accrue distribution contains a brief manual. If you are interested, you can download Accrue from here.

Slides of the Accrue tutorial at PLDI 2014 are available here: AccrueTutorial-PLDI2014.pdf.

Exercises for the Accrue tutorial exercises are available here: accrue-tutorial-exercises.zip. Unzip this file, and import the Eclipse project inside it. See the table of contents to the left for instructions for the exercises.

Solutions for the exercises are available here: accrue-tutorial-solutions.zip. Unzip this file, and import the Eclipse project inside it.