source: Papers/fopara2013/appendix.tex @ 3423

Last change on this file since 3423 was 3423, checked in by campbell, 7 years ago

Note for appendix.

File size: 419 bytes
1We've removed the paragraph on logic programming languages because one
2of the reviewers pointed out that standard Prolog may have the
3necessary features, which we haven't tried.  Thus we felt it was best
4not to claim anything about logic programming.
6The example has been slightly altered to show a parametric time bound.
8Section 2 has been restructured to give a clearer comparison of
9existing approaches with CerCo.
Note: See TracBrowser for help on using the repository browser.