From a29cce747f3717e32231c9a92b40be12832037b6 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Fri, 7 Jun 2019 09:08:42 +0200 Subject: Finish for submission --- thesis.meta.yml.gup | 43 ++++++++++++++++++++++++++++--------------- 1 file changed, 28 insertions(+), 15 deletions(-) (limited to 'thesis.meta.yml.gup') 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 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. +include-before: + - |- + \pagenumbering{gobble} + \pagestyle{empty} + - \input{./cover.tex} + - \input{./title.tex} + - \cleardoublepage + - |- + \pagenumbering{roman} + \pagestyle{plain} + - \input{./abstract.tex} + - \cleardoublepage + - |- + \setcounter{tocdepth}{3} + \tableofcontents +include-after: + - \cleardoublepage + - |- + \pagenumbering{gobble} + \pagestyle{empty} + - \input{./org.tex} lang: de-de link-citations: true bibliography: literature.bibtex -author: Gregor Kleen -date: \formatdate{30}{05}{2019} numbersections: true +biblatexoptions: + - style=alphabetic + - citestyle=alphabetic +has-frontmatter: true +biblio-heading: bibintoc +classoption: + - twoside ... EOF -- cgit v1.2.3