Institut für Computersprachen
Programmiersprachen und Übersetzer
 | Diplomarbeit |
|---|---|
| Titel | An Experimentally Typed Language and its Implementation |
| Autor | Doubek, Werner |
| Erscheinungsjahr | 1997 |
| Inventardatum | 30.06.1997 |
| Abstract | Das Design moderner Typsysteme soll sowohl den Umgang mit umfangreichen Projekten unterstützen als auch die Wiederverwendung von Quellcode erlauben. Diese Ziele werden teils durch "polymorphe Typsysteme" erreicht. Polymorphismus tritt in zwei dominierenden Konzepten auf: Untertyprelationen und Generizität. Zur Kombination dieser beiden Konzepte soll diese Diplomarbeit einen Beitrag leisten. Sie beschreibt den Begriff Typ, evolutionäre Aspekte in der Geschichte der Typsysteme und verschiedene Arten von Polymorphismus und deren Zusammenspiel. Zur Veranschaulichung einiger theoretisch erarbeiteter Konzepte dient eine applikative Sprache von Ausdrücken namens "ATL" (A Typed Language). Sie zeichnet sich hauptsächlich durch eine klare Trennung zwischen Typen und deren Implementierungen aus, wobei ihr Typsystem prinzipiell getrennte Übersetzung ermöglicht. Eine Erweiterung um objektorientierte Eigenschaften wird diskutiert. Die Beschreibung einer einfachen Implementierung des Interpreters sowie des Typ-Checkers ist ebenfalls enthalten. |
| Status | Verfügbar |