Please use this identifier to cite or link to this item: https://doi.org/10.15480/882.1071
Fulltext available Open Access
Title: A transformational approach to generic software development based on higher-order, typed functional signatures
Other Titles: Generische Programmierung auf Basis einer Transformation von getypten Funktionssignaturen höherer Ordnung
Language: English
Authors: Lincke, Daniel 
Keywords: Defunktionalisierung;Funktionen höherer Ordnung;Typkonstruktoren;concepts;generische Programmierung;Defunctionalization;higher-order functions;type constructors;concepts;generic programming
Issue Date: 2012
Examination Date: 27-Jun-2012
Abstract (german): 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.
Abstract (english): 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
DOI: 10.15480/882.1071
Institute: Softwaresysteme E-16 
Faculty: Elektrotechnik und Informationstechnik
Type: Dissertation
Advisor: Schupp, Sibylle 
Thesis grantor: Technische Universität Hamburg
License: http://doku.b.tu-harburg.de/doku/lic_ohne_pod.php
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
Lincke.pdf601,87 kBAdobe PDFThumbnail
View/Open
Show full item record

Page view(s)

820
Last Week
0
Last month
16
checked on Sep 20, 2020

Download(s)

552
checked on Sep 20, 2020

Google ScholarTM

Check

Note about this record

Export

Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.