Changeset 3309


Ignore:
Timestamp:
Jun 4, 2013, 4:48:05 PM (4 years ago)
Author:
sacerdot
Message:

An abstract.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.tex

    r3308 r3309  
    5454
    5555\begin{abstract}
     56This paper provides an overview of the just completed FET-Open Project CerCo
     57(Certified Complexity), 2010-2013. The main achievement of the project has been
     58the introduction of a technique to perform static analysis of non functional
     59properties of programs (time, space) at the source level, without loosing
     60accuracy and with a small trusted code base. The main software component
     61developed is a formally certified complexity certifying compiler. The compiler
     62translates the source code to the object code and an instrumented copy of the
     63source code. The latter exposes at
     64the source level and tracks precisely the actual (non asymptotic)
     65computational cost. Untrusted invariant generators and trusted theorem provers
     66are then used to compute and certify the parametric execution time of the
     67code.
    5668\end{abstract}
    5769
Note: See TracChangeset for help on using the changeset viewer.