.

[phd-thesis.git] / thesis.tex

diff --git a/thesis.tex b/thesis.tex
index 9281f2b..4d3cc66 100644 (file)
--- a/thesis.tex
+++ b/thesis.tex
@@ -60,13 +60,13 @@
 \subfile{intro/introduction}
 % DSL
 
-\part[Prelude: Domain-Specific Languages]{Prelude:\\[2ex]\smaller{}Domain-Specific Languages}%
+\part[\'Etude: Domain-Specific Languages]{\'Etude:\\[2ex]\smaller{}Domain-Specific Languages}%
 \label{prt:dsl}
 \subfile{dsl/dsl_techniques}        % DSL Techniques
 \subfile{dsl/class_deep_embedding}  % Deep embedding with class
 \subfile{dsl/first-class_datatypes} % First-class data types
 
-\part[Exposition: Task-Oriented Programming]{Exposition:\\[2ex]\smaller{}Task-Oriented Programming for the Internet of Things}%
+\part[Oratorio: Task-Oriented Programming]{Oratorio\\[2ex]\smaller{}Task-Oriented Programming for the Internet of Things}%
 \label{prt:top}
 \subfile{top/mtask} % MTask tutorial and implementation