From f4c419b9ddec15bad267a4463f0720d6e28042d2 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Thu, 30 May 2019 12:18:08 +0200 Subject: Further work --- presentation.meta.yml | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 presentation.meta.yml (limited to 'presentation.meta.yml') diff --git a/presentation.meta.yml b/presentation.meta.yml new file mode 100644 index 0000000..92a6f06 --- /dev/null +++ b/presentation.meta.yml @@ -0,0 +1,22 @@ +--- +title: Inkrementelle Parser als edit-lenses anhand von DFSTs +abstract: |- + Inkrementelle Parser sind jene die bekannte Texte nach einer kleinen Änderung neu analysieren können ohne die ganze Eingabe erneut zu betrachten. + + 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. + + Im Rahmen dessen stellen wir eine Implementierung von edit-lenses im Allgemeinen und unserem Verfahren in möglichst idiomatischem Haskell vor. +author: Gregor Kleen +lang: de-de +link-citations: true +theme: Montpellier +colortheme: dove +navigation: false +toc: false +section-titles: false +bibliography: literature.bibtex +... -- cgit v1.2.3