Further work

1 files changed, 16 insertions, 3 deletions

diff --git a/thesis.meta.yml.gup b/thesis.meta.yml.gup
index 0ef84d6..27ce8cb 100644
--- a/thesis.meta.yml.gup
+++ b/thesis.meta.yml.gup
@@ -2,13 +2,26 @@
 
 gup -u literature.bibtex
 
-cat >$1 <<EOF
+cat >$1 <<'EOF'
 ---
+title: Inkrementelle Parser als edit-lenses anhand von DFSTs
+abstract: |-
+  Parser, die bekannte Texte nach einer kleinen Änderung neu analysieren können, ohne die ganze Eingabe erneut zu betrachten, nennt man inkrementell.
+
+  Inkrementelle Parser sind seit den 1970er-Jahren bekannt und inzwischen umfangreich erforscht.
+
+  Edit-lenses sind eine vergleichsweise neue algebraische Darstellung von Programmen, die algebraisch strukturierte Änderungen zwischen Strukturen übersetzen.
+
+  Wir demonstrieren, dass sich Inkrementelle Parser in der Sprache von edit-lenses fassen lassen, anhand einer besonders einfachen Klasse von Parsern, den deterministic finite state transducers.
+
+  Hierzu speichern wir im unterliegenden Zustand der assoziierten edit-lens die Ausgabe-Wirkung des DFST als balancierten Binärbaum um Teile davon effizient austauschen zu können.
+
+  Im Rahmen dessen stellen wir eine Implementierung von edit-lenses im Allgemeinen und unserem Verfahren in möglichst idiomatischem Haskell vor.
 lang: de-de
 link-citations: true
 bibliography: literature.bibtex
-title: Iterative Parser als edit-lenses
 author: Gregor Kleen
-date: \today
+date: \formatdate{01}{03}{2019}
+numbersections: true
 ...
 EOF