source: Papers/fopara2013/appendix.tex @ 3435

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

Make example clearer for readers in black and white.

File size: 731 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.
12Section 4 has been reorganised to highlight the connections between
13the different parts of the work.
15The citation of a survey of state-of-the-art WCET tools has been made
16more explicit as a source of information about tools such as AbsInt.
Note: See TracBrowser for help on using the repository browser.