[Mittagsseminar TI] Fwd: [i-prof] Einladung zur Verteidigung meiner Masterarbeit

[Wolfgang Mulzer <mulzer@inf.fu-berlin.de>]

On Thursday. The defense will be in German.


-------- Forwarded Message --------
Subject: 	[i-prof] Einladung zur Verteidigung meiner Masterarbeit
Date: 	Sat, 25 Aug 2018 11:07:03 +0200
From: 	David Sungaila <david.sungaila@fu-berlin.de>
To: 	i-profs@inf.fu-berlin.de, i-wimis@inf.fu-berlin.de,
i-studi@inf.fu-berlin.de, renee.zentiks@fu-berlin.de



Sehr geehrte Damen und Herren,
 
hiermit lade ich Sie herzlich zur Verteidigung meiner Masterarbeit mit
dem Titel
„*C𝛿: Design and Implementation of a Transcompiler for Language
Integrated Finite-State Machines in C♯*“
ein.
 
Ort:  Seminarraum 055, Takustraße 9
Zeit: Donnerstag, den 30.08. um 12 Uhr (st)
 
Betreuer und Erstgutachter ist Herr Prof. Mulzer und Zweitgutachterin
ist Frau Prof. Wolter.
Die Verteidigung findet auf *deutsch* statt.
 
Mit freundlichen Grüßen
David Sungaila
 
_Abstract_
C♯ is a programming language developed by Microsoft that supports
multiple programming paradigms. Two of these paradigms are
object-oriented programming and event-driven programming which allow
developers to implement finite-state machines in their applications.
 
However, these implementations are not supported by a built-in
programming paradigm, syntactic sugar, or the included base class
libraries. This forces developers to either create their own robust
general purpose finite-state machines or include a third-party class
library.
 
This master’s thesis discuses automata-based programming as a
programming paradigm and how C𝛿, a language designed and implemented in
this thesis, will extend C♯ with this paradigm. Furthermore, other
programming languages and code generators are compared to C𝛿 in their
implementations of finite-state machines. Special attention is given to
the programming language P♯, as its specification and goals are similar
to C𝛿.
 
To show the practicability of the C𝛿 language, its compiler is
rewritten into C𝛿 itself. This recursive bootstrapping is used to
discuss the advantages and experiences of having language integrated
finite-state machines, compared to other solutions.

_______________________________________________
Automatischer Mailverteiler an Gruppe 'ml-i-prof-mi'.
Hinweise dazu siehe Hilfeseite:
https://www.mi.fu-berlin.de/w/Tec/AnkuendigungsVerteiler

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature