changeset 280:38bbe1986ebf

provsec: Removed some cace-specific text
author Sigurd Meldgaard <>
date Mon, 15 Mar 2010 10:25:41 +0100
parents 8876d40c68bd
children d755e7edd114
files provsec/paper.tex
diffstat 1 files changed, 0 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Mon Mar 15 10:25:06 2010 +0100
+++ b/provsec/paper.tex	Mon Mar 15 10:25:41 2010 +0100
@@ -38,9 +38,6 @@
 automatic verification of various security properties for
 programs. This work builds on the existing prototype language
 SMCL,  and works on top of the VIFF framework (see D4.3).
-To avoid confusion, we have kept the original title of this deliverable (Compilers/Interpreters)
-although the tool implementing the language is  perhaps better described as a preprocessor. Part of what the preprocessor does is nevertheless similar to a compiler in that it translates PySMCL code into Python code that can be executed by the VIFF 
-framework which serves as a  ``virtual machine'' in the project. It therefore provides exactly the functionality that was intended in the workplan.
 First we informally describe the different components of PySMCL,
 and give an example of how it works. Then follows a more detailed description