Zur Kurzanzeige

Multistage Algorithms in C++

dc.contributor.advisorLube, Gert Prof. Dr.de
dc.contributor.authorPriesnitz, Andreasde
dc.date.accessioned2006-04-19T15:27:54Zde
dc.date.accessioned2013-01-18T13:22:51Zde
dc.date.available2013-01-30T23:51:07Zde
dc.date.issued2006-04-19de
dc.identifier.urihttp://hdl.handle.net/11858/00-1735-0000-0006-B405-Dde
dc.identifier.urihttp://dx.doi.org/10.53846/goediss-2529
dc.description.abstractLeistungskritische 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.mimetypeapplication/pdfde
dc.language.isoengde
dc.rights.urihttp://webdoc.sub.gwdg.de/diss/copyr_diss.htmlde
dc.titleMultistage Algorithms in C++de
dc.typedoctoralThesisde
dc.title.translatedMehrstufige Algorithmen in C++de
dc.contributor.refereeSchaback, Robert Prof. Dr.de
dc.date.examination2005-11-02de
dc.subject.dnb004 Informatikde
dc.description.abstractengPerformance-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.topicMathematics and Computer Sciencede
dc.subject.gerMehrstufige Programmierungde
dc.subject.gerGenerische Programmierungde
dc.subject.gerMetaprogrammierungde
dc.subject.gerstatische Bindungde
dc.subject.gerSpracheinbettungde
dc.subject.engmultistage programmingde
dc.subject.enggeneric programmingde
dc.subject.engmeta programmingde
dc.subject.engstatic bindingde
dc.subject.englanguage embeddingde
dc.subject.bk54.51de
dc.subject.bk54.52de
dc.identifier.urnurn:nbn:de:gbv:7-webdoc-703-0de
dc.identifier.purlwebdoc-703de
dc.affiliation.instituteFakultät für Mathematik und Informatikde
dc.subject.gokfullAHD 100: Programming Techniques {Computing}de
dc.subject.gokfullAHD 210: Requirements/Specifications {Computing. Software Engineering}de
dc.subject.gokfullAHD 330: Language Constructs and Features {Computing. Programming Languages}de
dc.identifier.ppn512631824de


Dateien

Thumbnail

Das Dokument erscheint in:

Zur Kurzanzeige