repositories
/
msc-thesis1617.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
update presentation, the body is there
[msc-thesis1617.git]
/
mtaskext.tex
diff --git
a/mtaskext.tex
b/mtaskext.tex
index
896f038
..
e56d79c
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} S
emantics
}
-\input{mtaskext.tasks
em
}
+\section{\gls{Task} S
cheduling Strategy
}
+\input{mtaskext.tasks
trat
}
-\section{\gls{SDS}
Semantic
s}
-\input{mtaskext.sds
sem
}
+\section{\gls{SDS}
Propertie
s}
+\input{mtaskext.sds
prop
}
\section{Bytecode Compilation View}\label{sec:compiler}
\input{mtaskext.bytecode}
\section{Bytecode Compilation View}\label{sec:compiler}
\input{mtaskext.bytecode}