Options
A transformational approach to generic software development based on higher-order, typed functional signatures
Citation Link: https://doi.org/10.15480/882.1071
Other Titles
Generische Programmierung auf Basis einer Transformation von getypten Funktionssignaturen höherer Ordnung
Publikationstyp
Doctoral Thesis
Date Issued
2012
Sprache
English
Author(s)
Advisor
Referee
Title Granting Institution
Technische Universität Hamburg
Place of Title Granting Institution
Hamburg
Examination Date
2012-06-27
Institut
TORE-DOI
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.
Subjects
Defunktionalisierung
Funktionen höherer Ordnung
Typkonstruktoren
concepts
generische Programmierung
Defunctionalization
higher-order functions
type constructors
concepts
generic programming
Loading...
Name
Lincke.pdf
Size
601.87 KB
Format
Adobe PDF