rename semantics

[msc-thesis1617.git] / mtaskext.tex

diff --git a/mtaskext.tex b/mtaskext.tex
index a8d525f..b89af96 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} Strategy}
+\input{mtaskext.sdsstrat}

 
 

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

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