summaryrefslogtreecommitdiff
path: root/thesis.meta.yml.gup
diff options
context:
space:
mode:
Diffstat (limited to 'thesis.meta.yml.gup')
-rw-r--r--thesis.meta.yml.gup43
1 files changed, 28 insertions, 15 deletions
diff --git a/thesis.meta.yml.gup b/thesis.meta.yml.gup
index b13ea3a..8f4a69c 100644
--- a/thesis.meta.yml.gup
+++ b/thesis.meta.yml.gup
@@ -4,24 +4,37 @@ gup -u literature.bibtex
4 4
5cat >$1 <<'EOF' 5cat >$1 <<'EOF'
6--- 6---
7title: Inkrementelle Parser als edit-lenses anhand von DFSTs 7include-before:
8abstract: |- 8 - |-
9 Parser, die bekannte Texte nach einer kleinen Änderung neu analysieren können, ohne die ganze Eingabe erneut zu betrachten, nennt man inkrementell. 9 \pagenumbering{gobble}
10 10 \pagestyle{empty}
11 Inkrementelle Parser sind seit den 1970er-Jahren bekannt und inzwischen umfangreich erforscht. 11 - \input{./cover.tex}
12 12 - \input{./title.tex}
13 Edit-lenses sind eine vergleichsweise neue algebraische Darstellung von Programmen, die algebraisch strukturierte Änderungen zwischen Strukturen übersetzen. 13 - \cleardoublepage
14 14 - |-
15 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. 15 \pagenumbering{roman}
16 16 \pagestyle{plain}
17 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. 17 - \input{./abstract.tex}
18 18 - \cleardoublepage
19 Im Rahmen dessen stellen wir eine Implementierung von edit-lenses im Allgemeinen und unserem Verfahren in möglichst idiomatischem Haskell vor. 19 - |-
20 \setcounter{tocdepth}{3}
21 \tableofcontents
22include-after:
23 - \cleardoublepage
24 - |-
25 \pagenumbering{gobble}
26 \pagestyle{empty}
27 - \input{./org.tex}
20lang: de-de 28lang: de-de
21link-citations: true 29link-citations: true
22bibliography: literature.bibtex 30bibliography: literature.bibtex
23author: Gregor Kleen
24date: \formatdate{30}{05}{2019}
25numbersections: true 31numbersections: true
32biblatexoptions:
33 - style=alphabetic
34 - citestyle=alphabetic
35has-frontmatter: true
36biblio-heading: bibintoc
37classoption:
38 - twoside
26... 39...
27EOF 40EOF