Changeset 3438
- Timestamp:
- Feb 14, 2014, 8:10:49 PM (7 years ago)
- Location:
- Papers/fopara2013
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Papers/fopara2013/appendix.tex
r3427 r3438 1 \section{Changes in response to the reviewer's comments} 2 3 \begin{itemize} 4 \item 5 We have made more explicit reference to a key WCET survey paper, in 6 particular noting that it is a useful source of information about 7 commercial tools such as AbsInt. 8 9 \item We have altered and improved the example to remove some 10 distracting ambiguity and demonstrate a parametric time bound. The 11 text now identifies the added code by more than just its colour. The 12 later sections now refer back to the example to illustrate the effects 13 of each technique. 14 15 \item 1 16 We've removed the paragraph on logic programming languages because one 2 17 of the reviewers pointed out that standard Prolog may have the 3 18 necessary features, which we haven't tried. Thus we felt it was best 4 not to claim anything about logic programming .19 not to claim anything about logic programming at this time. 5 20 6 The example has been slightly altered to show a parametric time bound. 7 The text now identifies the added code by more than just its colour. 21 \item 22 We have been more explicit about the type of code generated by the 23 Lustre compiler, and what kinds of loop can be handled automatically 24 by the Cost plugin and where loop iteration bounds come from. 8 25 9 Section 2 has been restructured to give a clearer comparison of 10 existing approaches with CerCo. 26 \item The structure of the document has been greatly improved. 27 Section 2 has been restructured and broken up into subsections to give 28 a clearer comparison of existing approaches with CerCo. 29 Section 4 has been reorganised to highlight the connections between 30 the different parts of the work and a short overview provided to help 31 the reader understand the significance of each part of the work. 11 32 12 Section 4 has been reorganised to highlight the connections between 13 the different parts of the work. 33 \item A clearer distinction is made between the core contribution of 34 the compiler --- which provides local cost information in the source 35 code and thus is largely agnostic to how loops are structured and what 36 kind of data structures are used --- and the cost synthesis work which 37 provides higher-level costs using it. 14 38 15 The citation of a survey of state-of-the-art WCET tools has been made 16 more explicit as a source of information about tools such as AbsInt. 39 \item The text has been extensively revised to be easier to read, and 40 to make minor corrections, including those identified by the reviewers. 41 42 \end{itemize} -
Papers/fopara2013/fopara13.tex
r3437 r3438 1209 1209 %\bibliography{fopara13.bib} 1210 1210 1211 \appendix 1212 1213 \include{appendix} 1214 1211 1215 \end{document}
Note: See TracChangeset
for help on using the changeset viewer.