Strongly typed and efficient functional reactive programming

Stark typisierte und effiziente Funktionale Reaktive Programmierung

  • Functional Reactive Programming (FRP) is a declarative approach to programming reactive and interactive systems. We develop a common interface and a common semantics for FRP and discuss existing implementation approaches. Afterwards, we develop a technique for ensuring start time consistency as well as an efficient implementation of discrete signals. Finally, we present a novel record system, which makes FRP more usable in practice. Our system offers generic record combinators that are statically typed.
  • Funktionale Reaktive Programmierung (FRP) ist ein deklarativer Ansatz zur Programmierung reaktiver und interaktiver Systeme. Wir entwickeln eine einheitliche Schnittstelle und eine einheitliche Semantik für FRP und diskutieren existierende Implementierungsansätze. Danach entwickeln wir eine Technik zur Sicherung von Startzeitkonsistenz sowie eine effiziente Implementierung diskreter Signale. Schließlich präsentieren wir ein neuartiges Record-System, welches FRP besser nutzbar in der Praxis macht. Unser System bietet generische Record-Kombinatoren, die statisch typisiert sind.

Volltext Dateien herunterladen

Metadaten exportieren

Weitere Dienste

Suche bei Google Scholar Anzahl der Zugriffe auf dieses Dokument
Metadaten
Verfasserangaben: Wolfgang Jeltsch
URN:urn:nbn:de:kobv:co1-opus-24369
Gutachter / Betreuer:Prof. Dr. rer. nat. habil. Petra Hofstedt
Dokumentart:Dissertation
Sprache:Englisch
Erstellungsjahr:2011
Datum der Abschlussprüfung:08.12.2011
Datum der Freischaltung:29.03.2012
Freies Schlagwort / Tag:Funktionale Reaktive Programmierung; Haskell; Kind-System; Records; funktionale Programmierung
Functional programming; Functional reactive programming; Haskell; Kind system; Records
GND-Schlagwort:Haskell; Funktionale Programmierung
Fakultät / Fachgebiet:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau
Name der Einrichtung zum Zeitpunkt der Publikation:Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Programmiersprachen und Compilerbau
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.