Toggle labels:
paths
names
effects
↰ 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:
Alloc(LocFresh)
▣
d
Alloc(LocFresh)
▣
b
Alloc(LocFresh)
▣
a
Archivist trace:
Alloc(LocFresh)
◯
compute
alpha
Force(CompCacheMiss)
compute
alpha
Force(RefGet)
a
Alloc(LocFresh)
◯
compute
beta
Force(CompCacheMiss)
compute
beta
Force(RefGet)
b
Alloc(LocFresh)
◯
compute
delta
Force(CompCacheMiss)
compute
delta
Force(RefGet)
d
Alloc(LocFresh)
▣
compute
delta-r
Alloc(LocFresh)
▣
compute
beta-r
Alloc(LocFresh)
▣
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:
Force(RefGet)
a
Force(RefGet)
b
Alloc(LocFresh)
▣
c
Alloc(LocExists(SameContent))
▣
b
Dirty
b
Dirty
compute
beta
Alloc(LocExists(SameContent))
▣
a
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
alpha
Force(CompCacheHit)
compute
alpha
CleanRec
compute
beta
CleanRec
b
CleanEval
compute
beta
Remove
b
Remove
compute
delta
Remove
compute
delta
Remove
compute
beta-r
Force(RefGet)
b
Alloc(LocFresh)
◯
compute
gamma
Force(CompCacheMiss)
compute
gamma
Force(RefGet)
c
Alloc(LocExists(SameContent))
◯
compute
delta
Force(CompCacheHit)
compute
delta
Alloc(LocFresh)
▣
compute
gamma-r
Alloc(LocExists(SameContent))
▣
compute
beta-r
CleanEdge
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:
Alloc(LocExists(SameContent))
◯
compute
alpha
Force(CompCacheHit)
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:
Alloc(LocExists(SameContent))
◯
compute
alpha
Force(CompCacheHit)
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:
Alloc(LocExists(SameContent))
◯
compute
alpha
Force(CompCacheHit)
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:
Alloc(LocExists(SameContent))
◯
compute
alpha
Force(CompCacheHit)
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:
Alloc(LocExists(SameContent))
◯
compute
alpha
Force(CompCacheHit)
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:
Alloc(LocExists(SameContent))
◯
compute
alpha
Force(CompCacheHit)
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:
Alloc(LocExists(SameContent))
◯
compute
alpha
Force(CompCacheHit)
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:
Alloc(LocExists(SameContent))
◯
compute
alpha
Force(CompCacheHit)
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:
Alloc(LocExists(SameContent))
◯
compute
alpha
Force(CompCacheHit)
compute
alpha