Ignore:
Timestamp:
Mar 6, 2017, 3:31:01 PM (3 years ago)
Author:
boender
Message:

Moved paper structure comments to their relevant sections

File:
1 edited

Legend:

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

    r3613 r3615  
    1 \section{Conclusions}
    2 \label{sect.conclusions}
    3 
     1% Conclusions
    42%   Summary
    53%   Related work
    64%   Future work
     5
     6\section{Conclusions}
     7\label{sect.conclusions}
    78
    89In many application domains the intensional properties of programs---time and space usage, for example---are an important factor in the specification of a program, and therefore overall program correctness.
Note: See TracChangeset for help on using the changeset viewer.