Note that the same tasks are accessible in “live” form via the SPSC web-interface.
| Sample | Description |
|---|---|
| SampleAbAb | Transforming a 2-pass algorithm to a 1-pass one. |
| SampleAppendAppend | Transforming a 2-pass algorithm to a 1-pass one for binary functions. |
| SampleEq2 | Transforming a binary function into a unary one. |
| SampleEqTheSame | SPSC “proves the theorem” that “X=X cannot be false”. |
| SampleMemberFirstArg | The member function specialized with respect to the 1st argument. |
| SampleMemberSecondArg | The member function specialized with respect to the 2nd argument. |
| SampleMember | Supercompiled programs may be “flatter” than the original ones. |
| SampleNotOrNot | Eliminating control structures. |