Bitte benutzen Sie einen Browser, der CSS versteht. Vielen Dank.

Publikationsserver der BTU Cottbus

Universitätsbibliothek

logo

Eingang zum Volltext in OPUS

Hinweis zum Urheberrecht



Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:co1-opus-24369
URL: http://opus.kobv.de/btu/volltexte/2012/2436/


Jeltsch, Wolfgang

Strongly typed and efficient functional reactive programming

Stark typisierte und effiziente Funktionale Reaktive Programmierung

pdf-Format:
Dokument 1.pdf (808 KB)


Kurzfassung in Englisch

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.

Kurzfassung in Deutsch

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.

SWD-Schlagwörter: Haskell , Funktionale Programmierung
Freie Schlagwörter (Deutsch): Funktionale Reaktive Programmierung , funktionale Programmierung , Haskell , Records , Kind-System
Freie Schlagwörter (Englisch): Functional reactive programming , Functional programming , Haskell , Records , Kind system
Collection: BTU / Wiss. Publikationen
Institut: LS Praktische Informatik / Programmiersprachen und Compilerbau
Fakultät: Fakultät für Mathematik, Naturwissenschaften und Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Dissertation
Hauptberichter: Hofstedt, Petra Prof. Dr. rer. nat. habil.
Sprache: Englisch
Tag der mündlichen Prüfung: 08.12.2011
Erstellungsjahr: 2011
Publikationsdatum: 29.03.2012


Hosted by KOBV powered by OPUS