From c2e29fcd04338af814ede9d9a28c57e96812ecbf Mon Sep 17 00:00:00 2001
From: Miriam Backens <miriam.backens@cs.ox.ac.uk>
Date: Fri, 15 Feb 2019 13:53:10 +0000
Subject: [PATCH] fixed a couple of typos in WPs
---
NEWPROPOSAL/FULLPROP.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 965d96f..7e05753 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1443,7 +1443,7 @@ We develop practical logical and algorithmic techniques for transforming ``abst
\WPdeliverable{M24}{An extended \zx language which expresses
topological and quantitative properties, with associated
reasoning techniques.}
- \WPdeliverable{M24}{\newt{Setting the state-of-the-art for all forms circuit optimization}.}
+ \WPdeliverable{M24}{\newt{Setting the state-of-the-art for all forms of circuit optimization}.}
\WPdeliverable{M24}{\newt{Optimization techniques for a variety of computational models}.}
% \WPdeliverable{M24}{Routines for adding error-correction to \zx programs}
\WPdeliverable{M24}{Routines for adding error-correction to ZX programs.}
@@ -1492,7 +1492,7 @@ Also machine-dependent error correction here?
(M15--M30; Responsible: \partnerref{partner:loria}; Involved: \partnerref{partner:grenoble},\partnerref{partner:oxford},\partnerref{partner:gdansk})}{%
Develop algorithms which, given a collection of constraints
representing a machine model
- (c.f.~\ref{task:annotate1}, \ref{task:annotate2}), re-writes \dzxc terms
+ (c.f.~\ref{task:annotate1}, \ref{task:annotate2}), re-writes \zx terms
to a form which can be executed on that machine model.
%\BREM{ Develop a specification system for the operations and constraints of a hardware system, in order to specify how to transform a ``logical'' \azx term to a procedure to realise that transformation on a specific machine.}
}
--
GitLab