Merge branch 'master' of git.martlubbers.net:msc-thesis1617

[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.
 
-\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}