diff options
Diffstat (limited to 'thesis.meta.yml.gup')
-rw-r--r-- | thesis.meta.yml.gup | 43 |
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 | ||
5 | cat >$1 <<'EOF' | 5 | cat >$1 <<'EOF' |
6 | --- | 6 | --- |
7 | title: Inkrementelle Parser als edit-lenses anhand von DFSTs | 7 | include-before: |
8 | abstract: |- | 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 | ||
22 | include-after: | ||
23 | - \cleardoublepage | ||
24 | - |- | ||
25 | \pagenumbering{gobble} | ||
26 | \pagestyle{empty} | ||
27 | - \input{./org.tex} | ||
20 | lang: de-de | 28 | lang: de-de |
21 | link-citations: true | 29 | link-citations: true |
22 | bibliography: literature.bibtex | 30 | bibliography: literature.bibtex |
23 | author: Gregor Kleen | ||
24 | date: \formatdate{30}{05}{2019} | ||
25 | numbersections: true | 31 | numbersections: true |
32 | biblatexoptions: | ||
33 | - style=alphabetic | ||
34 | - citestyle=alphabetic | ||
35 | has-frontmatter: true | ||
36 | biblio-heading: bibintoc | ||
37 | classoption: | ||
38 | - twoside | ||
26 | ... | 39 | ... |
27 | EOF | 40 | EOF |