Vorhabenregister
| Title | Weiterentwicklung eines Typcheckers für Erlang |
| Short Description | 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. |
| Year Of Acquisition | 2023 |
| Start Date | 2023-02-01 |
| End Date | 2023-07-31 |
| Project Managers | Wehr, Stefan, Prof. Dr. |
| Faculties | EMI |
| Institution |