source: Papers/fopara2013/appendix.tex @ 3426

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

Clarify WCET state-of-the-art citation.

File size: 489 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.
7The text now identifies the added code by more than just its colour.
9Section 2 has been restructured to give a clearer comparison of
10existing approaches with CerCo.
Note: See TracBrowser for help on using the repository browser.