Schupp, SibylleSibylleSchupp1137288833Lincke, DanielDanielLincke2012-08-072012-08-072012720765684http://tubdok.tub.tuhh.de/handle/11420/1073Die vorliegende Dissertation beschreibt eine Methode zur Entwicklung generischer Software-bibliotheken, die auf einer Programmtransformation beruht. Genauer werden die Signaturen generischer, d.h. Typparametrisierter, Funktionen von einer funktionalen Sprache in eine objekt-orientierte Sprache transformiert. Funktionale Typkonstrukte, wie Funktionen höherer Ordnung und Typkonstruktoren, werden dabei auf Typparameter abgebildet, wobei diese mit so genannten Begriffen spezifiziert werden. Die vorgestellte Methode ist zum einen unabhängig von spezifischen Programmiersprachen und kann zum anderen formal abgesichert werden.This thesis introduces a method based on program transformation for developing generic software libraries. More precisely, the signatures of generic functions, i.e., functions parameterised on types, are transformed from a functional language to an object-oriented language. Type level functional constructs, such as higher-order functions and type constructors, are mapped to type parameters specified using a mechanism called concepts. The transformation is independent from particular languages and can be formally described.enhttp://doku.b.tu-harburg.de/doku/lic_ohne_pod.phpDefunktionalisierungFunktionen höherer OrdnungTypkonstruktorenconceptsgenerische ProgrammierungDefunctionalizationhigher-order functionstype constructorsconceptsgeneric programmingDoctoral Thesisurn:nbn:de:gbv:830-tubdok-1168210.15480/882.1071Generische Programmierung11420/107310.15480/882.1071Mayer-Lindenberg, FriedrichFriedrichMayer-Lindenberg930768711Other