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.gup19
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 @@
2 2
3gup -u literature.bibtex 3gup -u literature.bibtex
4 4
5cat >$1 <<EOF 5cat >$1 <<'EOF'
6--- 6---
7title: Inkrementelle Parser als edit-lenses anhand von DFSTs
8abstract: |-
9 Parser, die bekannte Texte nach einer kleinen Änderung neu analysieren können, ohne die ganze Eingabe erneut zu betrachten, nennt man inkrementell.
10
11 Inkrementelle Parser sind seit den 1970er-Jahren bekannt und inzwischen umfangreich erforscht.
12
13 Edit-lenses sind eine vergleichsweise neue algebraische Darstellung von Programmen, die algebraisch strukturierte Änderungen zwischen Strukturen übersetzen.
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.
16
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.
18
19 Im Rahmen dessen stellen wir eine Implementierung von edit-lenses im Allgemeinen und unserem Verfahren in möglichst idiomatischem Haskell vor.
7lang: de-de 20lang: de-de
8link-citations: true 21link-citations: true
9bibliography: literature.bibtex 22bibliography: literature.bibtex
10title: Iterative Parser als edit-lenses
11author: Gregor Kleen 23author: Gregor Kleen
12date: \today 24date: \formatdate{01}{03}{2019}
25numbersections: true
13... 26...
14EOF 27EOF