Browse files

Update the intro. This is a report, not a paper.

  • Loading branch information...
1 parent 8604af3 commit fcd226aacfe61d6f182353c1b25abf2fee253bfd @jlouis committed May 23, 2009
Showing with 2 additions and 2 deletions.
  1. +2 −2 report/intro.tex
@@ -46,7 +46,7 @@ \chapter{Introduction}
This DIKU graduate project establishes a formalized semantics for
a variant of the JANUS language in the proof assistant \coq{}. The
-main academic contribution of the paper is the use of syntax-driven
+main academic contribution of the report is the use of syntax-driven
semantics for JANUS: Invalid programs are ruled out by having no possible
inference tree. The secondary contribution establishes the machine
verification of the main theorems of JANUS variants.
@@ -62,7 +62,7 @@ \chapter{Introduction}
Finally, this report is honest to the state-of-the-art: any result is
mechanically formalized and verified in \coq{}.
-The rest of the paper is structured as follows.
+The rest of the report is structured as follows.
\item In section \ref{sec:revers-comp}, we give a short introduction
to the concept of reversible computation. We present the general

0 comments on commit fcd226a

Please sign in to comment.