Reverse

Ackermann

Gcd

Parsexp

Typeinf

Graphcolour

Boolprog

Examples from [Jones2001]

Example 1

Example 2

Example 3

Example 4

Example 5

Example 6

Test suite from [Wahl2000]

Ackermann

Add

Boolprog

Div2

Eq

Ex6

Fgh

Odd-even

Permut

Test suite from [Glen1999] - basic

Add

Addlists

Anchored

Append

Assrewrite

Badd

Contrived1

Contrived2

Decrease

Deeprev

Disjconj

Duplicate

Equal

Evenodd

Fold

Game

Increase

Intlookup

Letexp

List

Lte

Map

Member

Mergelists

Mul

Naiverev

Nestdec

Nesteql

Nestimeql

Nestinc

Nolexicord

Ordered

Overlap

Permute

Revapp

Select

Shuffle

SP1

Subsets

The trick

Vangelder

Test suite from [Glen1999] - algorithms

Graphcolour1

Graphcolour2

Graphcolour3

Match

Reach

Rematch

Strmatch

Typeinf

Test suite from [Glen1999] - interpreters

Int

Intdynscope

Intloop

Intwhile

Lambdaint

Parsexp

Turing

Test suite from [Glen1999] - simple

Ackermann

Binom

Gcd1

Gcd2

Power

Test suite from [Glen1999] - sorting

Mergesort

Minsort

Quicksort

Test suite from [Fred2001]

AssrewriteSize

DeadcodeSize

FghSize

Gexgcd

Gexgcd2

Graphcolour2Size

QuicksortSize

ThetrickSize

Notes