Titel: Component-based mechanisation of programming languages in embedded settings
Sonstige Titel: Komponentenbasierten Ansatz zur Programmiersprachenimplementierung
Komponentenbasierten Ansatz zur Programmiersprachenimplementierung
Sprache: English
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
DOI: 10.15480/882.1218
Institut: Softwaresysteme E-16 
Studienbereich: Elektrotechnik und Informationstechnik
Dokumenttyp: Dissertation
Hauptberichter: Schupp, Sibylle 
Gradverleihende Einrichtung: Technische Universität Hamburg
Enthalten in den Sammlungen:Publications (tub.dok)

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

Seitenansichten

468
Letzte Woche
2
Letzten Monat
9
checked on 20.02.2019

Download(s)

386
checked on 20.02.2019

Google ScholarTM

Prüfe

Export

Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.