Vorhabenregister
| Titel | Weiterentwicklung eines Typcheckers für Erlang |
| Kurzbeschreibung | Etylizer ist ein statischer Typchecker für die Programmiersprache Erlang. Im vorgelegten Projekt soll untersucht werden, inwiefern die Laufzeit des Typcheckers durch einen Compilation-Manager verbessert werden kann. Außerdem soll die Exaktheit des Typcheckers durch Verbezsserung der Typannotation in der Standardlibrary von Erlang erhöht werden. Die Ergebnisse des Projekts werden unter einer open source Lizenz veröffentlicht. |
| Jahr der Einwerbung | 2023 |
| Laufzeit Beginn | 01.02.2023 |
| Laufzeit Ende | 31.07.2023 |
| Projektleitung | Wehr, Stefan, Prof. Dr. |
| Fakultät | EMI |
| Institut |