From f326a373622a675fea4bc86284b75d866e2ef4cf Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Wed, 3 Jun 2009 12:24:27 +0200 Subject: [PATCH] Fix some typos. --- Core2Core.tex | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/Core2Core.tex b/Core2Core.tex index d628077..f576b71 100644 --- a/Core2Core.tex +++ b/Core2Core.tex @@ -63,7 +63,7 @@ Matthijs Kooijman \section{Introduction} As a new approach to translating Core to VHDL, we investigate a number of transformations on our Core program, which should bring the program into a -well-defined "canonical" state, which is subsequently trivial to translate to +well-defined "canonical" form, which is subsequently trivial to translate to VHDL. The transformations as presented here are far from complete, but are meant as @@ -73,16 +73,16 @@ apparent from the end result, there will be additional transformations needed to fully reach our goal, and some transformations must be applied more than once. How exactly to (efficiently) do this, has not been investigated. -Lastly, I hope to be able to state a number of pre- and postconditinos for +Lastly, I hope to be able to state a number of pre- and postconditions for each transformation. If these can be proven for each transformation, and it -can be shown that ther exists some ordering of transformations for which the +can be shown that there exists some ordering of transformations for which the postcondition implies the canonical form, we can show that the transformations do indeed transform any program (probably satisfying a number of preconditions) to the canonical form. \section{Goal} The transformations described here have a well-defined goal: To bring the -program in a well-defined program that is directly translatable to hardware, +program in a well-defined form that is directly translatable to hardware, while fully preserving the semantics of the program. This {\em canonical form} is again a Core program, but with a very specific @@ -214,14 +214,14 @@ canonical form. in case s of (a, b) -> - r = case a of - High -> add - Low -> let - op' = case b of - High -> sub - Low -> \c d -> c - in - \c d -> op' d c + case a of + High -> add + Low -> let + op' = case b of + High -> sub + Low -> \c d -> c + in + \c d -> op' d c \stoptyping \subsection{Argument extraction} -- 2.30.2