Schupp, SibylleSibylleSchupp1137288833Haeri, Seyed HosseinSeyed HosseinHaeri2015-02-112015-02-112014817933220http://tubdok.tub.tuhh.de/handle/11420/1220Diese 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.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.enhttp://doku.b.tu-harburg.de/doku/lic_mit_pod.phpProgramming LanguagesLanguage MechanisationComponent-Based Software EngineeringLightweight Family PolymorphismDoctoral Thesis2015-02-11urn:nbn:de:gbv:830-tubdok-1321310.15480/882.1218Semantics of Programming Languages (D.3.1)Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1)Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3)Software Architectures (NEW)Studies of Program Constructs (D.3.2-3)11420/122010.15480/882.1218930768162Other