From: Mart Lubbers Date: Sat, 8 Jul 2017 08:35:35 +0000 (+0200) Subject: rename semantics X-Git-Tag: final~21 X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=9b3d5ac89173801dffb60470b86a61390c4ab68d;p=msc-thesis1617.git 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 --- 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} Strategy} +\input{mtaskext.sdsstrat} \section{Bytecode Compilation View}\label{sec:compiler} \input{mtaskext.bytecode}