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: en
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: 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
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
Zur Langanzeige

Seitenansichten

499
Letzte Woche
2
Letzten Monat
checked on 22.11.2017

Download(s)

294
checked on 22.11.2017

Google ScholarTM

Prüfe

Altmetric


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.