From 9b3d5ac89173801dffb60470b86a61390c4ab68d Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Sat, 8 Jul 2017 10:35:35 +0200 Subject: [PATCH] rename semantics --- mtaskext.sdssem.tex => mtaskext.sdsstrat.tex | 0 mtaskext.tasksem.tex => mtaskext.taskstrat.tex | 0 mtaskext.tex | 8 ++++---- 3 files changed, 4 insertions(+), 4 deletions(-) rename mtaskext.sdssem.tex => mtaskext.sdsstrat.tex (100%) rename mtaskext.tasksem.tex => mtaskext.taskstrat.tex (100%) 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} -- 2.20.1