Titel: A transformational approach to generic software development based on higher-order, typed functional signatures
Sonstige Titel: Generische Programmierung auf Basis einer Transformation von getypten Funktionssignaturen höherer Ordnung
Generische Programmierung auf Basis einer Transformation von getypten Funktionssignaturen höherer Ordnung
Sprache: Englisch
Autor/Autorin: Lincke, Daniel
Schlagwörter: Defunktionalisierung;Funktionen höherer Ordnung;Typkonstruktoren;concepts;generische Programmierung;Defunctionalization;higher-order functions;type constructors;concepts;generic programming
Erscheinungsdatum: 2012
Zusammenfassung (deutsch): Die 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.
Zusammenfassung (englisch): 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.
URI: http://tubdok.tub.tuhh.de/handle/11420/1073
URN: urn:nbn:de:gbv:830-tubdok-11682
DOI: 10.15480/882.1071
Institut: Softwaresysteme E-16
Software Systems E-16
Studienbereich: Elektrotechnik und Informationstechnik
Dokumenttyp: Dissertation
Hauptberichter: Schupp, Sibylle Prof. Dr.
Gradverleihende Einrichtung: Technische Universität Hamburg
Enthalten in den Sammlungen:tub.dok

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Lincke.pdf601,87 kBAdobe PDFMiniaturbild
Öffnen/Anzeigen

Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.