Changeset 3419 for Papers


Ignore:
Timestamp:
Feb 10, 2014, 5:18:46 PM (5 years ago)
Author:
campbell
Message:

Tweak abstract.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.tex

    r3417 r3419  
    9090\maketitle
    9191
     92% Brian: I've changed "without loss of accuracy" because we discuss
     93% important precision/complexity tradeoffs for advanced architectures
     94% in the dependent labelling section.
    9295\begin{abstract}
    9396This paper provides an overview of the FET-Open Project CerCo
    9497(`Certified Complexity'). The project's main achievement is
    95 the development of a technique for performing static analyses of non-functional
    96 properties of programs (time, space) at the source level, without loss of accuracy
     98the development of a technique for analysing non-functional
     99properties of programs (time, space) at the source level, with little or no loss of accuracy
    97100and with a small, trusted code base. The main software component
    98101developed is a certified compiler producing cost annotations. The compiler
     
    101104the source level---and tracks precisely---the actual (non-asymptotic)
    102105computational cost of the input program. Untrusted invariant generators and trusted theorem provers
    103 are then used to compute and certify the parametric execution time of the
     106can then be used to compute and certify the parametric execution time of the
    104107code.
    105108\end{abstract}
Note: See TracChangeset for help on using the changeset viewer.