X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=mtaskext.tex;h=e56d79cdc6c923733f89c454163babe98924ecf2;hb=2498dced580be1e7af31a662dadee26c4fd159ed;hp=896f03821e2eab8208c19d15adffb3e118af2cd0;hpb=bb33f56ac032b65a9ed06d21d7907270cf2c2a25;p=msc-thesis1617.git

diff --git a/mtaskext.tex b/mtaskext.tex
index 896f038..e56d79c 100644
--- a/mtaskext.tex
+++ b/mtaskext.tex
@@ -7,11 +7,11 @@ 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}
 \input{mtaskext.bytecode}