equal
deleted
inserted
replaced
1 @article{Harper99, |
1 @article{Harper99, |
2 author = {R.~Harper}, |
2 author = {R.~Harper}, |
3 title = {Proof-Directed Debugging}, |
3 title = {{P}roof-{D}irected {D}ebugging}, |
4 journal = {Journal of Functional Programming}, |
4 journal = {Journal of Functional Programming}, |
5 volume = {9}, |
5 volume = {9}, |
6 number = {4}, |
6 number = {4}, |
7 year = {1999}, |
7 year = {1999}, |
8 pages = {463-469} |
8 pages = {463-469} |
9 } |
9 } |
10 |
10 |
11 @article{Yi06, |
11 @article{Yi06, |
12 author = {K.~Yi}, |
12 author = {K.~Yi}, |
13 title = {Educational Pearl: 'Proof-directed debugging' revisited |
13 title = {{E}ducational {P}earl: `{P}roof-{D}irected {D}ebugging' {R}evisited |
14 for a first-order version}, |
14 for a {F}irst-{O}rder {V}ersion}, |
15 journal = {Journal of Functional Programming}, |
15 journal = {Journal of Functional Programming}, |
16 volume = {16}, |
16 volume = {16}, |
17 number = {6}, |
17 number = {6}, |
18 year = {2006}, |
18 year = {2006}, |
19 pages = {663-670} |
19 pages = {663-670} |
175 year = {2009} |
175 year = {2009} |
176 } |
176 } |
177 |
177 |
178 @inproceedings{WuZhangUrban11, |
178 @inproceedings{WuZhangUrban11, |
179 author = {C.~Wu and X.~Zhang and C.~Urban}, |
179 author = {C.~Wu and X.~Zhang and C.~Urban}, |
180 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
180 title = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions |
|
181 ({P}roof {P}earl)}, |
181 booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving}, |
182 booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving}, |
182 year = {2011}, |
183 year = {2011}, |
183 pages = {???}, |
184 pages = {341--356}, |
184 series = {LNCS}, |
185 series = {LNCS}, |
185 volume = {???} |
186 volume = {6898} |
186 } |
187 } |
187 |
188 |
188 |
189 |
189 |
190 |
190 |
191 |