Changeset 3629


Ignore:
Timestamp:
Mar 6, 2017, 8:25:52 PM (6 months ago)
Author:
mulligan
Message:

tweaks...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/conclusions.tex

    r3628 r3629  
    5454Carbonneaux \emph{at al} lift a cost model for stack space usage; we lift a cost model for time and stack space usage.
    5555Carbonneaux \emph{at al} lift their model from the assembly generated by the CompCert compiler; we must go further, to the level of machine code, in order to lift our timing cost model, necessitating the development of a verified assembler.
    56 Nevertheless, the two projects are clearly closely related, and similar in spirit, and in our view the existence of two projects stumbling upon similar approaches demonstrates the naturality of the techniques developed by both.
     56Nevertheless, despite the differences, the two projects are clearly closely related.
     57
     58
    5759
    5860\subsection{Further work}
Note: See TracChangeset for help on using the changeset viewer.