Navigation ▼

Show simple item record

dc.contributor.advisor Lube, Gert Prof. Dr. de
dc.contributor.author Priesnitz, Andreas de
dc.date.accessioned 2006-04-19T15:27:54Z de
dc.date.accessioned 2013-01-18T13:22:51Z de
dc.date.available 2013-01-30T23:51:07Z de
dc.date.issued 2006-04-19 de
dc.identifier.uri http://hdl.handle.net/11858/00-1735-0000-0006-B405-D de
dc.description.abstract Leistungskritische Software wird selten in allgemeingültiger Form verfaßt. Strukturelle Änderungen beeinflussen gewöhnlicherweise weite Teile eines Projekts und bedeuten aufwendige Entwicklungsschritte. Hauptgrund ist der Ausschluß effizienter spezialisierter Varianten, wenn zugunsten statischer semantischer Prüfung und Auswahl Bindungen nur auf anzugebende Typmengen verallgemeinert werden. Andererseits verlangen spracheigene oder benutzerdefinierte Mittel zur statischen Auswertung eine entsprechende Syntax bei Bereitstellung und Aufruf von Algorithmen, was deren Kombination erschwert.Die vorliegende Arbeit überwindet beide Hemmnisse durch einen Mehrstufenansatz: Der statische und der dynamische Anteil eines Algorithmus werden explizit und separat dargestellt, wobei die Auswertung der statischen Stufe die geeignete dynamische Darstellung bestimmt. Ein Turing-vollständiger statischer Sprachanteil wie in C++ erlaubt dabei beliebig komplexe Entscheidungen. Als Anwendung werden semantische Prüfung und Auswahl der Darstellung durch statische Analyse einer Bindung vollzogen und so explizite Einschränkungen auf Typmengen vermieden. de
dc.format.mimetype application/pdf de
dc.language.iso eng de
dc.rights.uri http://webdoc.sub.gwdg.de/diss/copyr_diss.html de
dc.title Multistage Algorithms in C++ de
dc.type doctoralThesis de
dc.title.translated Mehrstufige Algorithmen in C++ de
dc.contributor.referee Schaback, Robert Prof. Dr. de
dc.date.examination 2005-11-02 de
dc.subject.dnb 004 Informatik de
dc.description.abstracteng Performance-critical software is rarely implemented in a generic manner. Structural changes usually affect large parts of a project and cause expensive development cycles. Principal reason is the exclusion of efficient, specialized variants when bindings are generalized only to given type sets in favor of static semantical verification and selection. On the other hand, language-based or user-defined means for static evaluation require some according syntax of algorithm implementation and invocation, which hinders their combination.This work overcomes both obstacles by a multi-stage approach: The static and the dynamic content of an algorithm are represented explicitly and separately, where the evaluation of the static stage determines the according dynamic representation. A Turing-complete static language subset as in C++ allows decisions to be arbitrarily complex. As an application, semantical verification and selection of representation are performed by static binding analysis, which avoids explicit restrictions to type sets. de
dc.subject.topic Mathematics and Computer Science de
dc.subject.ger Mehrstufige Programmierung de
dc.subject.ger Generische Programmierung de
dc.subject.ger Metaprogrammierung de
dc.subject.ger statische Bindung de
dc.subject.ger Spracheinbettung de
dc.subject.eng multistage programming de
dc.subject.eng generic programming de
dc.subject.eng meta programming de
dc.subject.eng static binding de
dc.subject.eng language embedding de
dc.subject.bk 54.51 de
dc.subject.bk 54.52 de
dc.identifier.urn urn:nbn:de:gbv:7-webdoc-703-0 de
dc.identifier.purl webdoc-703 de
dc.affiliation.institute Fakultät für Mathematik und Informatik de
dc.subject.gokfull AHD 100: Programming Techniques {Computing} de
dc.subject.gokfull AHD 210: Requirements/Specifications {Computing. Software Engineering} de
dc.subject.gokfull AHD 330: Language Constructs and Features {Computing. Programming Languages} de
dc.identifier.ppn 512631824 de

Files in this item

This item appears in the following Collection(s)

Show simple item record