Added Prout's CGG and Template Semantics to Related Work. Small edits.

04-Implementation.tex

@@ -34,7 +34,7 @@ The SCCD discussed in this thesis is a fork from the original SCCD. The most imp
 
 \begin{description}
   \item[More semantic options]
-    The main goal of this thesis. On top of the semantic options supported in original SCCD, the following options were added: Big-Step Maximality: \textsc{Syntactic}, Combo-Step Maximality: \textsc{Combo Take One}, \textsc{Combo Take Many}, Memory Protocol: \textsc{Big Step}, \textsc{Combo Step}, \textsc{Small Step}, Priority: \textsc{Arena-Parent}, \textsc{Arena-Child}.
+    The main goal of this thesis. On top of the semantic options supported in original SCCD, the following options were added: Big-Step Maximality: \textsc{Syntactic}, Combo-Step Maximality: \textsc{Combo Take One}, \textsc{Combo Take Many}, \textsc{Combo Syntactic}, Memory Protocol: \textsc{Big Step}, \textsc{Combo Step}, \textsc{Small Step}, Priority: \textsc{Arena-Parent}, \textsc{Arena-Child}.
 
   \item[Action language]
     In the original SCCD, action code had to be written in the same language as the target language of compilation, making models non-portable. This was only a temporary solution, the plan was to add an action language eventually. Another reason for integrating an action language is to have precise control over Memory Protocol semantics. Therefore, SCCD now has a built-in (textual) statically type-checked action language.

references.bib

@@ -155,3 +155,25 @@ url={http://hdl.handle.net/10012/15373}
   year={1996},
   publisher={Elsevier}
 }
+
+@article{prout2012code,
+  title={Code generation for a family of executable modelling notations},
+  author={Prout, Adam and Atlee, Joanne M and Day, Nancy A and Shaker, Pourya},
+  journal={Software \& Systems Modeling},
+  volume={11},
+  number={2},
+  pages={251--272},
+  year={2012},
+  publisher={Springer}
+}
+
+@article{niu2003template,
+  title={Template semantics for model-based notations},
+  author={Niu, Jianwei and Atlee, Joanne M and Day, Nancy A},
+  journal={IEEE Transactions on Software Engineering},
+  volume={29},
+  number={10},
+  pages={866--882},
+  year={2003},
+  publisher={IEEE}
+}