changeset 313:578001fa9dd6

Plugin is really plug-in
author Sigurd Meldgaard <stm@daimi.au.dk>
date Fri, 16 Apr 2010 09:42:19 +0200
parents d312076342ed
children d87f62abc6e2
files provsec/paper.tex
diffstat 1 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Fri Apr 16 09:41:18 2010 +0200
+++ b/provsec/paper.tex	Fri Apr 16 09:42:19 2010 +0200
@@ -40,7 +40,7 @@
 This document describes the design and implementation of PySMCL, a
 domain specific language for secure multiparty computation, embedded
 in Python. The implementation includes a static verifier working with
-an Eclipse plugin and a preprocessor for the language, allowing
+an Eclipse plug-in and a preprocessor for the language, allowing
 automatic verification of various security properties for
 programs. This work builds on the existing prototype language
 SMCL\cite{damnielsen09}, and works on top of the VIFF
@@ -109,13 +109,13 @@
 
 \section{Usage scenario}
 The programmer will first write his program in PySMCL using the
-Eclipse plugin, specifying a desired computation as described above.
+Eclipse plug-in, specifying a desired computation as described above.
 PySMCL is designed to offer high level constructs specialized for the
 MPC domain. Special sections of a PySMCL program will allow high-level
 MPC primitives to be expressed directly, without considering low-level
 VIFF or MPC protocol details.
 
-The Eclipse plugin will on each file-save run the PySMCL preprocessor,
+The Eclipse plug-in will on each file-save run the PySMCL preprocessor,
 which performs static analysis of these special sections, tracking the
 flow of secret values.  If the analysis finds potential security
 problems, it will give feedback to the programmer, possibly with some
@@ -851,7 +851,7 @@
 \section{Editor integration}
 Together with the PySMCL prototype has been developed a simple plug-in
 for the Eclipse platform (\url{http://eclipse.org/}), that can be used
-for example in conjunction with the Pydev plugin
+for example in conjunction with the Pydev plug-in
 (\url{http://pydev.org/}). It interacts with the analysis framework,
 highlights errors, and gives information about inferred values, and
 describes rewrites. See figure \ref{screenshot}
@@ -887,7 +887,7 @@
   \centering
   \includegraphics[width=1.0\textwidth]{screenshot}
   \caption{A screenshot of the auction program edited with the Eclipse
-    plugin. Two boxes with output from the tool are shown.}
+    plug-in. Two boxes with output from the tool are shown.}
   \label{screenshot}
 \end{figure}