Toggle labels:
↰ Results summary
eg-oopsla2015-sec2
step

batch name
0

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
delta
compute
delta
d
compute
delta-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha
compute
beta
compute
beta
compute
delta
compute
delta
compute
delta-r
compute
beta-r
compute
alpha-r


batch name
1

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
2
gamma
___c
c
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
4
gamma-l
__compute___gamma-r
compute
gamma-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-edit:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
delta
compute
delta
d
compute
delta-r
compute
beta-r
compute
alpha-r
DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha
compute
beta
b
compute
beta
b
compute
delta
compute
delta
compute
beta-r
compute
gamma
compute
gamma
compute
delta
compute
delta
compute
gamma-r
compute
beta-r
compute
beta


batch name
2

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
2
gamma
___c
c
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
4
gamma-l
__compute___gamma-r
compute
gamma-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-edit:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r
DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha


batch name
3

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
2
gamma
___c
c
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
4
gamma-l
__compute___gamma-r
compute
gamma-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-edit:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r
DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha


batch name
4

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
2
gamma
___c
c
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
4
gamma-l
__compute___gamma-r
compute
gamma-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-edit:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r
DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha


batch name
5

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
2
gamma
___c
c
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
4
gamma-l
__compute___gamma-r
compute
gamma-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-edit:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r
DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha


batch name
6

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
2
gamma
___c
c
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
4
gamma-l
__compute___gamma-r
compute
gamma-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-edit:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r
DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha


batch name
7

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
2
gamma
___c
c
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
4
gamma-l
__compute___gamma-r
compute
gamma-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-edit:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r
DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha


batch name
8

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
2
gamma
___c
c
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
4
gamma-l
__compute___gamma-r
compute
gamma-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-edit:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r
DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha


batch name
9

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
2
gamma
___c
c
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
4
gamma-l
__compute___gamma-r
compute
gamma-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-edit:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r
DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha


batch name
10

Input:
Cons
0
alpha
___a
a
Cons
1
beta
___b
b
Cons
2
gamma
___c
c
Cons
3
delta
___d
d
Nil
Output:
Cons
0
alpha-l
__compute___alpha-r
compute
alpha-r
Cons
1
beta-l
__compute___beta-r
compute
beta-r
Cons
4
gamma-l
__compute___gamma-r
compute
gamma-r
Cons
9
delta-l
__compute___delta-r
compute
delta-r
Nil

DCG, post-edit:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r
DCG, post-compute:
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
compute
delta-r
compute
gamma-r
compute
beta-r
compute
alpha-r

Editor trace:
Archivist trace:
compute
alpha
compute
alpha