SPSC: a Simple Supercompiler in Scala

Theory

• Ilya Klyuchnikov and Sergei Romanenko. SPSC: a Simple Supercompiler in Scala. In: International Workshop on Program Understanding, Altai Mountains, Russia. 2009

Practice

First, build SPSC executable by running

sbt compile

The tasks for SPSC are in files with the extension .task.

For each task name in the directory tasks, run

sbt "run tasks/name"

Then SPSC will read the file name.task and produce the files name.tree (containig the process tree) and name.res (containing the residual task).