Titel: Component-based mechanisation of programming languages in embedded settings
Sonstige Titel: Komponentenbasierten Ansatz zur Programmiersprachenimplementierung
Komponentenbasierten Ansatz zur Programmiersprachenimplementierung
Sprache: Englisch
Autor/Autorin: Haeri, Seyed Hossein
Schlagwörter: Programming Languages;Language Mechanisation;Component-Based Software Engineering;Lightweight Family Polymorphism
Erscheinungsdatum: 2014
Zusammenfassung (deutsch): Diese Arbeitet bietet einen neuen komponentenbasierten Ansatz zur Programmiersprachenimplementierung (component-based mechanisation, kurz CBM), der insbesondere das experimentelle Studium sprachlicher Charakteristiken erlaubt. Wir stellen wiederverwendbare Komponenten der Syntax, Semantik und Analyse für eine Familie von lazy Programmiersprachen bereit. Weiter definieren und formulieren wir das "Expression Compatiblity Problem" und präsentieren zwei Lösungen, die auf additiver Komponentenkomposition bzw. Feature-orientierter Programming basieren. Inspiriert von lightweight-familiy-Polymorphismus führen wir ein formales Modell (Syntax, statische und dynamische Semantik) für CBM ein und beschreiben damit unsere Komponenten und deren Benutzung.
Zusammenfassung (englisch): This thesis offers a new component-based approach for programming language implementation with the specific purpose of experimentally studying the languages characteristics (CBM). We ship the first set of reusable syntax, semantics, and analysis components for a selection of lazy languages. We define and formulate the Expression Compatibility Problem and present two solutions for it, which are based on additive component composition and feature-oriented programming, respectively. Inspired by lightweight family polymorphism, we introduce the first formal model (syntax, static semantics, and dynamic semantics)for CBM. We employ this model as a means for high-level description of our components and their use.
URI: http://tubdok.tub.tuhh.de/handle/11420/1220
URN: urn:nbn:de:gbv:830-tubdok-13213
DOI: 10.15480/882.1218
Institut: Softwaresysteme E-16
Software Systems E-16
Studienbereich: Elektrotechnik und Informationstechnik
Dokumenttyp: Dissertation
Hauptberichter: Schupp, Sibylle
Gradverleihende Einrichtung: Technische Universität Hamburg
Enthalten in den Sammlungen:tub.dok

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Thesis.pdf8,83 MBAdobe PDFMiniaturbild
Öffnen/Anzeigen

Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.