Changeset 23 for Deliverables/D6.2/report.tex

Timestamp:

Aug 20, 2010, 8:05:50 PM (11 years ago)

Author:

sacerdot

Message:

Spell checked.

File:

• Deliverables/D6.2/report.tex (modified) (4 diffs)

Deliverables/D6.2/report.tex

@@ -273 +273 @@
 They will consist in a public and a private chapter and we will invite as
 guests a small number or international researchers who are working on related
-problems. We will try to colocate later workshops with international events
+problems. We will try to co-locate later workshops with international events
 to improve visibility of the project. During the third year we plan as well to
 organize two separate additional events targeted to the scientific community
@@ -376 +376 @@
 analysis of assembly code.\\
 
-Compiler developers will be interested by the techniques used to trace evelution
+Compiler developers will be interested by the techniques used to trace evolution
 of code fragments during compilation. They should also be interested in
-enhanching the proposed techniques to address more optimizations.
+enhancing the proposed techniques to address more optimizations.
 
 Developers of code invariant generators will be able to apply and extend their
@@ -472 +472 @@
 verify preservation of intentional properties without loosing precision.
 Developers of both interactive and automatic theorem provers will be interested
-in testing and enhancing their tecniques when applied to automation of
+in testing and enhancing their techniques when applied to automation of
 complexity proofs.
 
@@ -480 +480 @@
 it is meant to attract interest from end users. In particular, we will be
 looking for feedback on the applicability of the proposed technique and we
-will target in particular the sub-community of syncronous programmers.
+will target in particular the sub-community of synchronous programmers.
 
 \noindent