Optimierung objektorientierter Programme: Übersetzungstechniken, Analysen und Transformationen
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Abschlussarbeit Buch |
Sprache: | German |
Veröffentlicht: |
Berlin [u.a.]
Springer
2001
|
Schriftenreihe: | Xpert.press
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | IX, 189 S. graph. Darst. |
ISBN: | 3540423524 |
Internformat
MARC
LEADER | 00000nam a22000008c 4500 | ||
---|---|---|---|
001 | BV013915602 | ||
003 | DE-604 | ||
005 | 20081124 | ||
007 | t | ||
008 | 010911s2001 d||| m||| 00||| ger d | ||
016 | 7 | |a 962308391 |2 DE-101 | |
020 | |a 3540423524 |9 3-540-42352-4 | ||
035 | |a (OCoLC)722865690 | ||
035 | |a (DE-599)BVBBV013915602 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
049 | |a DE-92 |a DE-739 |a DE-29T |a DE-824 |a DE-384 |a DE-522 |a DE-526 |a DE-634 |a DE-83 |a DE-11 | ||
084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
084 | |a ST 231 |0 (DE-625)143618: |2 rvk | ||
100 | 1 | |a Trapp, Martin |e Verfasser |4 aut | |
245 | 1 | 0 | |a Optimierung objektorientierter Programme |b Übersetzungstechniken, Analysen und Transformationen |c Martin Trapp |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2001 | |
300 | |a IX, 189 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Xpert.press | |
502 | |a Zugl.: Karlsruhe, Univ., Diss., 1999 | ||
650 | 0 | 7 | |a Programmoptimierung |0 (DE-588)4191605-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Übersetzerbau |0 (DE-588)4121803-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Programmoptimierung |0 (DE-588)4191605-0 |D s |
689 | 0 | 1 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |D s |
689 | 0 | 2 | |a Übersetzerbau |0 (DE-588)4121803-6 |D s |
689 | 0 | 3 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
689 | 0 | 4 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
689 | 0 | |5 DE-604 | |
856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009521367&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009521367 |
Datensatz im Suchindex
_version_ | 1806142870022782976 |
---|---|
adam_text |
MARTIN TRAPP OPTIMIERUNG OBJ EKTORIENTIERTER PROGRAMME
UEBERSETZUNGSTECHNIKEN, ANALYSEN UND TRANSFORMATIONEN MIT 29 ABBILDUNGEN
SPRINGER INHALT 1 EINLEITUNG 1 2 ANFORDERUNGSANALYSE 7 2.1 INEFFIZIENZCN
OBJEKTORIENTIERTER PROGRAMME 7 2.1.1 INEFFIZIEIIZEN DURCH ABSTRAKTION 8
2.1.2 INCFNZIENZEN DURCH ANWENDUNGSUNABHAENGIGEN ENTWURF . . . 12 2.1.3
INEFFIZIEIIZEN DURCH HOHE KONTEXTABHAENGIGKEIT 13 2.2 BENOETIGTE
OPTIMIERUNGEN 14 2.2.1 TRADITIONELLE OPTIMIERUNGEN 14 2.2.2 ELIMINATION
UNNOETIGER ABSTRAKTIONEN 15 2.2.3 SPEZIALISIERUNG DES
ANWENDUNGSUNABHAENGIGEN ENTWURFS . . 17 2.2.4 REDUKTION DER
KONTEXTABHAENGIGKEIT 17 2.3 BENOETIGTE PROGRAMMINFORMATIONEN 18 2.3.1
DEFINITIONEN UND BENUTZUNGEN 18 2.3.2 PARTIELLE ORDNUNG UND
ABHAENGIGKEITEN 20 2.4 APPROXIMATION VON PROGRAMMINFORMATIONEN 22 2.4.1
NUMERISCHE WERTE 22 2.4.2 VARIABLEN 23 2.4.3 NAMENSSCHEMATA 23 2.4.4
ALIASPROBLEMATIK 24 2.4.5 SCHWACHE AKTUALISIERUNG 25 2.4.6 ESSENTIELLE
ABHAENGIGKEITEN 26 2.5 BEZIEHUNGEN ZWISCHEN PROGRAMMINFORMATIONEN 26 2.6
ZUSAMMENFASSUNG 28 3 STAND VON FORSCHUNG UND TECHNIK 31 3.1
OPTIMIERUNGEN 31 3.1.1 OPTIMIERUNGSSTRATEGIEN 31 3.1.2 TRADITIONELLE
OPTIMIERUNGEN 32 3.1.3 ELIMINATION UNNOETIGER ABSTRAKTIONEN 34 3.1.4
SPEZIALISIERUNG DES ANWENDUNGSUNABHAENGIGEN ENTWURFS . . 36 3.1.5
REDUKTION DER KONTEXTABHAENGIGKEIT 37 3.2 PROGRAMMANALYSE 38 3.2.1
DATCNFLUSSANALYSE 39 3.2.2 STEUERFLUSSANALYSE, TYPANALYSE 41 3.2.3
ZEIGERANALYSE, HALDENANALYSE 43 3.2.4 GENAUIGKEIT UND AUFWAND 45 3.3
PROGRAMINREPRAESENTATION 47 3.3.1 GRUNDBLOCKGRAPH 47 3.3.2 STATIC SINGLE
ASSIGNMENT DARSTELLUNGEN 49 3.3.3 AUSGEDUENNTE REPRAESENTATIONEN 55 3.3.4
AUSNAHMEBEHANDLUNG 56 3.3.5 ABSTRAKTIONSNIVEAU 58 3.4 OFFENE PROBLEME 59
VLLL INHALT EXPLIZITE ABHAENGIGKEITSGRAPHEN 61 4.1 DARZUSTELLENDE
INFORMATIONEN 62 4.1.1 OPERATIONEN, STEUERFLUSS UND DATENFIUSS 62 4.1.2
SPEICHCRABBILDUNG 63 4.1.3 AUSNAHMEN 63 4.1.4 TYPINFORMATIONEN UND
STATISCH INITIALISIERTE DATEN 64 4.2 SYNTAX UND SEMANTIK EXPLIZITER
ABHAENGIGKEITSGRAPHEN 65 4.2.1 OPERATIONEN UND ABHAENGIGKEITEN 67 4.2.2
SPEICHERABHAENGIGKEITEN 74 4.2.3 ZUGRIFFSFUNKTIONEN 81 4.2.4 AUSNAHMEN 83
4.2.5 TYPINFORMATIONEN 86 4.3 AUFBAU AUS DER SEMANTISCHEN ANALYSE 87
4.3.1 HILFSSTRUKTUREN 88 4.3.2 BESTIMMUNG VON ABHAENGIGKEITEN 89 4.3.3
VERMEIDUNG UNNOETIGER PHI-OPCRATIONEN 90 4.3.4 MINIMALITAET 92 4.3.5
AUFWAND 93 4.4 ABBAU DER DARSTELLUNG 94 4.4.1 TRANSFORMATION KOMPLEXER
OPERATIONEN 94 4.4.2 ABBILDUNG VON DATENFLUSSKANTEN 94 4.4.3 AUFLOESUNG
VON PHI-OPERATIONCN 95 4.5 ZUSAMMENFASSUNG 95 PROGRAMMANALYSE UEBER
EXPLIZITEN ABHAENGIGKEITSGRAPHEN 97 5.1 ANALYSE VON WERTEN UND
ABHAENGIGKEITEN 97 5.1.1 ABSTRAKTE BEREICHE 97 5.1.2 ANALYSE VON
VARIABLENINHALTEN UND AUSDRUECKEN 99 5.1.3 BESTIMMUNG VON DEFINITIONEN
UND BENUTZUNGEN 102 5.2 BESCHLEUNIGUNG DER KONVERGENZ 102 5.2.1
BESUCHSREIHENFOLGE 103 5.2.2 ANALYSE UEBER DEM SCHLEIFENBAUM 106 5.3
REDUKTION DES SPEICHERBEDARFS 108 5.3.1 EINSPARUNGSPOTENTIALE 108 5.3.2
BEDARFSGESTEUERTE ANALYSE 110 5.3.3 ZUSAMMENFASSEN VON OPERATIONEN ZU
GEBIETEN 112 5.4 MODELLIERUNG KONTEXTSENSITIVER WERTE MIT \- TENNEN 114
5.4.1 SYMBOLISCHE DARSTELLUNG KONTEXTSENSITIVER WERTE 116 5.4.2 \-TERME
ALS ENTSCHEIDUNGSDIAGRAMME 120 5.4.3 KONTEXTSENSITIVE TRANSFERFUNKTIONEN
UEBER X-TERMEN . . . . 123 5.4.4 ERZWINGEN EINER GEEIGNETEN
VARIABLENORDNUNG 124 5.5 ZUSAMMENFASSUNG 125 INHALT OPTIMIERUNG
EXPLIZITER ABHAENGIGKEITSGRAPHEN 127 6.1 TRANSFORMATIONEN ALS
GRAPHERSETZUNG 128 6.1.1 ERSETZUNGSREGELN 129 6.1.2 GESTEUERTE ERSETZUNG
130 6.1.3 EFFIZIENTE ERHALTUNG VON IDENTITAETEN 130 6.1.4 NORMALISIERUNG
132 6.2 TRADITIONELLE OPTIMIERUNGEN 132 6.2.1 KONSTANTENFALTUNG UND
PARTIELLE AUSWERTUNG 132 6.2.2 BESEITIGUNG VON KOPIEN UND TOTEM CODE 134
6.2.3 GLOBALE VERMEIDUNG REDUNDANTER BERECHNUNGEN 135 6.3 BESEITIGUNG
OBJEKTORIENTIERTER INEFFIZIENZEN 139 6.3.1 REDUKTION VON POLYMORPHIE UND
PROZEDURAUFRUFEN 139 6.3.2 REDUKTION VON SPEICHERZUGRIFFEN 140 6.3.3
ELIMINATION DYNAMISCHER OBJEKTERZEUGUNGEN 143 0.4 REDUKTION NICHT
ESSENTIELLER ABHAENGIGKEITEN 144 6.4.1 VERFEINERUNG DES NAMENSSCHEMAS 145
6.4.2 PFADVERKUERZUNG DURCH LOKALE TRANSFORMATION 146 6.4.3 GLOBALE
BESTIMMUNG ESSENTIELLER ABHAENGIGKEITEN 147 6.5 ITERATIVE OPTIMIERENDE
UEBERSETZUNG 150 6.6 ZUSAMMENFASSUNG 154 PRAKTISCHE ERGEBNISSE 155 7.1
DER SATHER-K UEBERSETZER 155 7.2 TESTPROGRAINME 157 7.3 MESSUNGEN 159 7.4
SPEICHEREFFIZIENZ VON \-TERMCN 163 7.5 VERGLEICH ZU ANDEREN UEBERSETZERN
166 7.6 DISKUSSION 166 8 ZUSAMMENFASSUNG LITERATUR 169 171 A
ENTSCHEIDUNGSDIAGRAMME 177 A.L GEORDNETE, BINAERE ENTSCHEIDUNGSDIAGRAMME
177 A.2 GROESSE VON OBDDS 178 A.3 SYMBOLISCHES RECHNEN AUF OBDDS 178 A.4
EFFIZIENTE IMPLEMENTIERUNG 179 A.5 ANDERE TYPEN VON
ENTSCHEIDUNGSDIAGRAINMEII 180 B BEISPIELPROGRAMME 181 SACHVERZEICHNIS
185 |
any_adam_object | 1 |
author | Trapp, Martin |
author_facet | Trapp, Martin |
author_role | aut |
author_sort | Trapp, Martin |
author_variant | m t mt |
building | Verbundindex |
bvnumber | BV013915602 |
classification_rvk | ST 230 ST 231 |
ctrlnum | (OCoLC)722865690 (DE-599)BVBBV013915602 |
discipline | Informatik |
format | Thesis Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008c 4500</leader><controlfield tag="001">BV013915602</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081124</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010911s2001 d||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962308391</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540423524</subfield><subfield code="9">3-540-42352-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)722865690</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013915602</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 231</subfield><subfield code="0">(DE-625)143618:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Trapp, Martin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Optimierung objektorientierter Programme</subfield><subfield code="b">Übersetzungstechniken, Analysen und Transformationen</subfield><subfield code="c">Martin Trapp</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 189 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Xpert.press</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Karlsruhe, Univ., Diss., 1999</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmoptimierung</subfield><subfield code="0">(DE-588)4191605-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Übersetzerbau</subfield><subfield code="0">(DE-588)4121803-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmoptimierung</subfield><subfield code="0">(DE-588)4191605-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Übersetzerbau</subfield><subfield code="0">(DE-588)4121803-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009521367&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009521367</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV013915602 |
illustrated | Illustrated |
indexdate | 2024-08-01T00:27:46Z |
institution | BVB |
isbn | 3540423524 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009521367 |
oclc_num | 722865690 |
open_access_boolean | |
owner | DE-92 DE-739 DE-29T DE-824 DE-384 DE-522 DE-526 DE-634 DE-83 DE-11 |
owner_facet | DE-92 DE-739 DE-29T DE-824 DE-384 DE-522 DE-526 DE-634 DE-83 DE-11 |
physical | IX, 189 S. graph. Darst. |
publishDate | 2001 |
publishDateSearch | 2001 |
publishDateSort | 2001 |
publisher | Springer |
record_format | marc |
series2 | Xpert.press |
spelling | Trapp, Martin Verfasser aut Optimierung objektorientierter Programme Übersetzungstechniken, Analysen und Transformationen Martin Trapp Berlin [u.a.] Springer 2001 IX, 189 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Xpert.press Zugl.: Karlsruhe, Univ., Diss., 1999 Programmoptimierung (DE-588)4191605-0 gnd rswk-swf Programmtransformation (DE-588)4263654-1 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Übersetzerbau (DE-588)4121803-6 gnd rswk-swf Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Programmoptimierung (DE-588)4191605-0 s Objektorientierte Programmierung (DE-588)4233947-9 s Übersetzerbau (DE-588)4121803-6 s Programmanalyse (DE-588)4175841-9 s Programmtransformation (DE-588)4263654-1 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009521367&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Trapp, Martin Optimierung objektorientierter Programme Übersetzungstechniken, Analysen und Transformationen Programmoptimierung (DE-588)4191605-0 gnd Programmtransformation (DE-588)4263654-1 gnd Programmanalyse (DE-588)4175841-9 gnd Übersetzerbau (DE-588)4121803-6 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd |
subject_GND | (DE-588)4191605-0 (DE-588)4263654-1 (DE-588)4175841-9 (DE-588)4121803-6 (DE-588)4233947-9 (DE-588)4113937-9 |
title | Optimierung objektorientierter Programme Übersetzungstechniken, Analysen und Transformationen |
title_auth | Optimierung objektorientierter Programme Übersetzungstechniken, Analysen und Transformationen |
title_exact_search | Optimierung objektorientierter Programme Übersetzungstechniken, Analysen und Transformationen |
title_full | Optimierung objektorientierter Programme Übersetzungstechniken, Analysen und Transformationen Martin Trapp |
title_fullStr | Optimierung objektorientierter Programme Übersetzungstechniken, Analysen und Transformationen Martin Trapp |
title_full_unstemmed | Optimierung objektorientierter Programme Übersetzungstechniken, Analysen und Transformationen Martin Trapp |
title_short | Optimierung objektorientierter Programme |
title_sort | optimierung objektorientierter programme ubersetzungstechniken analysen und transformationen |
title_sub | Übersetzungstechniken, Analysen und Transformationen |
topic | Programmoptimierung (DE-588)4191605-0 gnd Programmtransformation (DE-588)4263654-1 gnd Programmanalyse (DE-588)4175841-9 gnd Übersetzerbau (DE-588)4121803-6 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd |
topic_facet | Programmoptimierung Programmtransformation Programmanalyse Übersetzerbau Objektorientierte Programmierung Hochschulschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009521367&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT trappmartin optimierungobjektorientierterprogrammeubersetzungstechnikenanalysenundtransformationen |