Changeset 23


Ignore:
Timestamp:
Aug 20, 2010, 8:05:50 PM (8 years ago)
Author:
sacerdot
Message:

Spell checked.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D6.2/report.tex

    r22 r23  
    273273They will consist in a public and a private chapter and we will invite as
    274274guests a small number or international researchers who are working on related
    275 problems. We will try to colocate later workshops with international events
     275problems. We will try to co-locate later workshops with international events
    276276to improve visibility of the project. During the third year we plan as well to
    277277organize two separate additional events targeted to the scientific community
     
    376376analysis of assembly code.\\
    377377
    378 Compiler developers will be interested by the techniques used to trace evelution
     378Compiler developers will be interested by the techniques used to trace evolution
    379379of code fragments during compilation. They should also be interested in
    380 enhanching the proposed techniques to address more optimizations.
     380enhancing the proposed techniques to address more optimizations.
    381381
    382382Developers of code invariant generators will be able to apply and extend their
     
    472472verify preservation of intentional properties without loosing precision.
    473473Developers of both interactive and automatic theorem provers will be interested
    474 in testing and enhancing their tecniques when applied to automation of
     474in testing and enhancing their techniques when applied to automation of
    475475complexity proofs.
    476476
     
    480480it is meant to attract interest from end users. In particular, we will be
    481481looking for feedback on the applicability of the proposed technique and we
    482 will target in particular the sub-community of syncronous programmers.
     482will target in particular the sub-community of synchronous programmers.
    483483
    484484\noindent
Note: See TracChangeset for help on using the changeset viewer.