Changeset 3331


Ignore:
Timestamp:
Jun 6, 2013, 6:02:33 PM (4 years ago)
Author:
mulligan
Message:

Some changes to the English in the abstract. e.g. loosing -> losing

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.tex

    r3330 r3331  
    9090\begin{abstract}
    9191This paper provides an overview of the FET-Open Project CerCo
    92 (Certified Complexity). The main achievement of the project has been
    93 the introduction of a technique to perform static analysis of non-functional
    94 properties of programs (time, space) at the source level, without loosing
    95 accuracy and with a small trusted code base. The main software component
     92(`Certified Complexity'). The project's main achievement has been
     93the development of a technique for performing static analyses of non-functional
     94properties of programs (time, space) at the source level, without losing
     95accuracy and with a small, trusted code base. The main software component
    9696developed is a formally certified complexity certifying compiler. The compiler
    97 translates the source code to the object code and an instrumented copy of the
     97translates source code to object code and produces an instrumented copy of the
    9898source code. The latter exposes at
    99 the source level and tracks precisely the actual (non asymptotic)
    100 computational cost. Untrusted invariant generators and trusted theorem provers
     99the source level---and tracks precisely---the actual (non-asymptotic)
     100computational cost of the input program. Untrusted invariant generators and trusted theorem provers
    101101are then used to compute and certify the parametric execution time of the
    102102code.
Note: See TracChangeset for help on using the changeset viewer.