rename semantics

diff --git a/mtaskext.sdssem.tex b/mtaskext.sdsstrat.tex
similarity index 100%
rename from mtaskext.sdssem.tex
rename to mtaskext.sdsstrat.tex

diff --git a/mtaskext.tasksem.tex b/mtaskext.taskstrat.tex
similarity index 100%
rename from mtaskext.tasksem.tex
rename to mtaskext.taskstrat.tex

diff --git a/mtaskext.tex b/mtaskext.tex
index 896f038..b89af96 100644 (file)
--- 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.
 
 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}
 \input{mtaskext.bytecode}
 
 \section{Bytecode Compilation View}\label{sec:compiler}
 \input{mtaskext.bytecode}