Sample Tasks for SPSC

Note that the same tasks are accessible in "live" form via the SPSC web-interface.

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.

► Sign in to add a comment