update presentation, the body is there

[msc-thesis1617.git] / mtaskext.tex

diff --git a/mtaskext.tex b/mtaskext.tex
index a8d525f..e56d79c 100644 (file)
--- a/mtaskext.tex
+++ b/mtaskext.tex
@@ -7,13 +7,13 @@ easy to solve. A type --- housing the \gls{EDSL} --- does not have to implement
 all the available classes. Moreover, classes can be added at will without
 interfering with the existing views.
 
 all the available classes. Moreover, classes can be added at will without
 interfering with the existing views.
 

-\section{\gls{Task} Semantics}
-\input{mtaskext.tasksem}
+\section{\gls{Task} Scheduling Strategy}
+\input{mtaskext.taskstrat}

 
 

-\section{\gls{SDS} semantics}
-\input{mtaskext.sdssem}
+\section{\gls{SDS} Properties}
+\input{mtaskext.sdsprop}

 
 

-\section{Bytecode compilation view}\label{sec:compiler}
+\section{Bytecode Compilation View}\label{sec:compiler}

 \input{mtaskext.bytecode}
 
 \section{Examples}
 \input{mtaskext.bytecode}
 
 \section{Examples}