equal
deleted
inserted
replaced
|
1 @article{Harper99, |
|
2 author = {R.~Harper}, |
|
3 title = {Proof-Directed Debugging}, |
|
4 journal = {Journal of Functional Programming}, |
|
5 volume = {9}, |
|
6 number = {4}, |
|
7 year = {1999}, |
|
8 pages = {463-469} |
|
9 } |
1 |
10 |
|
11 @article{Yi06, |
|
12 author = {K.~Yi}, |
|
13 title = {Educational Pearl: 'Proof-directed debugging' revisited |
|
14 for a first-order version}, |
|
15 journal = {Journal of Functional Programming}, |
|
16 volume = {16}, |
|
17 number = {6}, |
|
18 year = {2006}, |
|
19 pages = {663-670} |
|
20 } |
|
21 |
|
22 |
|
23 @Manual{PittsHOL4, |
|
24 title = {{S}yntax and {S}emantics}, |
|
25 author = {A.~M.~Pitts}, |
|
26 note = {Part of the documentation for the HOL4 system.} |
|
27 } |
2 |
28 |
3 @article{OwensReppyTuron09, |
29 @article{OwensReppyTuron09, |
4 author = {S.~Owens and J.~Reppy and A.~Turon}, |
30 author = {S.~Owens and J.~Reppy and A.~Turon}, |
5 title = {{R}egular-{E}xpression {D}erivatives {R}e-{E}xamined}, |
31 title = {{R}egular-{E}xpression {D}erivatives {R}e-{E}xamined}, |
6 journal = {Journal of Functional Programming}, |
32 journal = {Journal of Functional Programming}, |
61 } |
87 } |
62 |
88 |
63 @article{Brzozowski64, |
89 @article{Brzozowski64, |
64 author = {J.~A.~Brzozowski}, |
90 author = {J.~A.~Brzozowski}, |
65 title = {{D}erivatives of {R}egular {E}xpressions}, |
91 title = {{D}erivatives of {R}egular {E}xpressions}, |
66 journal = {J.~ACM}, |
92 journal = {Journal of the ACM}, |
67 volume = {11}, |
93 volume = {11}, |
68 issue = {4}, |
94 issue = {4}, |
69 year = {1964}, |
95 year = {1964}, |
70 pages = {481--494}, |
96 pages = {481--494}, |
71 publisher = {ACM} |
97 publisher = {ACM} |