Compiling and distributing generic libraries with heterogeneous data and code representation [Elektronische Ressource] / vorgelegt von Roland Weiss

CompilingandDistributingGenericLibrarieswithHeterogeneousDataandCodeRepresentationDissertationderFakultat¨ fur¨ Informations undKognitionswissenschaftenderEberhard Karls Universit at¨ Tubingen¨zurErlangungdesGradeseinesDoktorsderNaturwissenschaften(Dr. rer. nat.)vorgelegtvonDipl. Inform. RolandWeissausRatiborTubingen¨2003Tagdermundlichen¨ Qualifikation: 29.01.2003Dekan: Prof. Dr. UlrichGuntzer¨1. Berichterstatter: Prof. Dr. Rudiger¨ Loos2. Prof. Dr. SibylleSchupp(RensselaerPolytechnicInstitute,Troy,NY,USA)ToHannahandEddaAbstractGeneric programming has evolved at fast pace in recent years. There now exist nu merous pr languages that support genericity, and generic libraries were de veloped that range from small utility libraries to huge general purpose or domain spe cific libraries. The importance of specification and verification was further emphasizedin the context of generic algorithms and data structures, which became major issues intheresearchcommunity. ThelargestgenericcodebaseisavailableinC++whichplaysacentralroleforgenericprogramming,becausetheStandardTemplateLibrary(STL)wasimplementedinC++. TheSTLignitedtheapplicationofitsunderlyingprinciplestootherdomains,resultingininfluentialC++librariesliketheMatrixTemplateLibrary(MTL)ortheBoostGraphLibrary(BGL).