Compiler construction: 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6011 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 323 S. graph. Darst. 24 cm |
| ISBN: | 9783642119699 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036091557 | ||
| 003 | DE-604 | ||
| 005 | 20170201 | ||
| 007 | t| | ||
| 008 | 100323s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N08 |2 dnb | ||
| 016 | 7 | |a 1000251934 |2 DE-101 | |
| 020 | |a 9783642119699 |c kart. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.) |9 978-3-642-11969-9 | ||
| 024 | 3 | |a 9783642119699 | |
| 028 | 5 | 2 | |a 80011031 |
| 035 | |a (OCoLC)586999178 | ||
| 035 | |a (DE-599)DNB1000251934 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.453 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 383f |2 stub | ||
| 245 | 1 | 0 | |a Compiler construction |b 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |c Rajiv Gupta (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XII, 323 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6011 : Advanced research in computing and software science | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Übersetzerbau |0 (DE-588)4121803-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Paphos Ktima |2 gnd-content | |
| 689 | 0 | 0 | |a Übersetzerbau |0 (DE-588)4121803-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gupta, Rajiv |e Sonstige |4 oth | |
| 711 | 2 | |a CC |n 19 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16059894-1 |4 oth | |
| 711 | 2 | |a ETAPS |n 13 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16059897-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6011 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 6011 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3427657&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018982151&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018982151 | |
Datensatz im Suchindex
| _version_ | 1820875204504584192 |
|---|---|
| adam_text |
ANDREW CRAIK AND WAYNE KELLY TABLE OF CONTENTS INVITED TALK PROGRAMMING
CLOUDS 1 JAMES LARAS OPTIMIZATION TECHNIQUES MINING OPPORTUNITIES FOR
CODE IMPROVEMENT IN A JUST-IN-TIME COMPILER 10 ADAM JOCKSCH, MARCEL
MITRAN, JORAN SIU, NIKOLA GRCEVSKI, AND JOSE NELSON AMARAI UNRESTRICTED
CODE MOTION: A PROGRAM REPRESENTATION AND TRANSFORMATION ALGORITHMS
BASED ON FUTURE VALUES 26 SHUHAN DING AND SONER UNDER OPTIMIZING MATLAB
THROUGH JUST-IN-TIME SPECIALIZATION 4C MAXIME CHEVALIER-BOISVERT, LAURIE
HENDREN, AND CLARK VERBRUGGE RATA: RAPID ATOMIC TYPE ANALYSIS BY
ABSTRACT INTERPRETATION - APPLICATION TO JAVASCRIPT OPTIMIZATION 66
FRANCESCO LOGOZZO AND HERMAN VENTER PROGRAM TRANSFORMATIONS JREQ:
DATABASE QUERIES IN IMPERATIVE LANGUAGES 84 MING-YEE FU, EMMANUEL
CECCHET, AND WILLY ZWAENEPOEL VERIFYING LOCAL TRANSFORMATIONS ON RELAXED
MEMORY MODELS 104 SEBASTIAN BURCKHARDT, MADANLAL MUSUVATHI, AND VASU
SINGH PROGRAM ANALYSIS PRACTICAL EXTENSIONS TO THE IFDS ALGORITHM 124
NOMAIR A. NAEEM, ONDFEJ LHOTAK, AND JONATHAN RODRIGUEZ USING OWNERSHIP
TO REASON ABOUT INHERENT PARALLELISM IN OBJECT-ORIENTED PROGRAMS 145
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1000251934 DIGITALISIERT
DURCH XII TABLE OF CONTENTS REGISTER ALLOCATION PUNCTUAL COALESCING 165
FERNANDO MAGNO QUINTAEO PEREIRA AND JENS PALSBERG STRATEGIES FOR
PREDICATE-AWARE REGISTER ALLOCATION 185 GEROLF F. HOFLEHNER
PREFERENCE-GUIDED REGISTER ASSIGNMENT 205 MATTHIAS BRAUN, CHRISTOPH
MALLON, AND SEBASTIAN HACK VALIDATING REGISTER ALLOCATION AND SPILLING
224 SILVAIN RIDEAU AND XAVIER LEROY HIGH-PER FOR MANCE SYSTEMS AUTOMATIC
C-TO-CUDA CODE GENERATION FOR AFFINE PROGRAMS 244 MUTHU MANIKANDAN
BASKARAN, J. RAMANUJAM, AND P. SADAYAPPAN IS REUSE DISTANCE APPLICABLE
TO DATA LOCALITY ANALYSIS ON CHIP MULTIPROCESSORS? 264 YUNLIAN JIANG,
EDDY Z. ZHANG, KAI TIAN, AND XIPENG SHEN THE POLYHEDRAL MODEL IS MORE
WIDELY APPLICABLE THAN YOU THINK . 283 MOHAMED- WALID
BENABDERRAHMANE, LOUIS-NOEL POUCHET, ALBERT COHEN, AND CEDRIC BASTOUL
THE HOT PATH SSA FORM: EXTENDING THE STATIC SINGLE ASSIGNMENT FORM FOR
SPECULATIVE OPTIMIZATIONS 304 SUBHAJIT ROY AND Y.N. SRIKANT AUTHOR INDEX
325 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036091557 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 383f |
| ctrlnum | (OCoLC)586999178 (DE-599)DNB1000251934 |
| dewey-full | 005.453 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.453 |
| dewey-search | 005.453 |
| dewey-sort | 15.453 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036091557</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170201</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100323s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1000251934</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642119699</subfield><subfield code="c">kart. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.)</subfield><subfield code="9">978-3-642-11969-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642119699</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80011031</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)586999178</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1000251934</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.453</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 383f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Compiler construction</subfield><subfield code="b">19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings</subfield><subfield code="c">Rajiv Gupta (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 323 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6011 : Advanced research in computing and software science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Paphos Ktima</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gupta, Rajiv</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CC</subfield><subfield code="n">19</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16059894-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">13</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16059897-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6011 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6011</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3427657&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=018982151&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-018982151</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content |
| genre_facet | Konferenzschrift 2010 Paphos Ktima |
| id | DE-604.BV036091557 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:54Z |
| institution | BVB |
| institution_GND | (DE-588)16059894-1 (DE-588)16059897-7 |
| isbn | 9783642119699 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018982151 |
| oclc_num | 586999178 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | XII, 323 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Compiler construction 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Rajiv Gupta (ed.) Berlin [u.a.] Springer 2010 XII, 323 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6011 : Advanced research in computing and software science Literaturangaben Übersetzerbau (DE-588)4121803-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content Übersetzerbau (DE-588)4121803-6 s DE-604 Gupta, Rajiv Sonstige oth CC 19 2010 Paphos Sonstige (DE-588)16059894-1 oth ETAPS 13 2010 Paphos Sonstige (DE-588)16059897-7 oth Lecture notes in computer science 6011 : Advanced research in computing and software science (DE-604)BV000000607 6011 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3427657&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018982151&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Compiler construction 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Lecture notes in computer science Übersetzerbau (DE-588)4121803-6 gnd |
| subject_GND | (DE-588)4121803-6 (DE-588)1071861417 |
| title | Compiler construction 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_auth | Compiler construction 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_exact_search | Compiler construction 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_full | Compiler construction 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Rajiv Gupta (ed.) |
| title_fullStr | Compiler construction 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Rajiv Gupta (ed.) |
| title_full_unstemmed | Compiler construction 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Rajiv Gupta (ed.) |
| title_short | Compiler construction |
| title_sort | compiler construction 19th international conference cc 2010 held as part of the joint european conferences on theory and practice of software etaps 2010 paphos cyprus march 20 28 2010 proceedings |
| title_sub | 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| topic | Übersetzerbau (DE-588)4121803-6 gnd |
| topic_facet | Übersetzerbau Konferenzschrift 2010 Paphos Ktima |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3427657&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018982151&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT guptarajiv compilerconstruction19thinternationalconferencecc2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT ccpaphos compilerconstruction19thinternationalconferencecc2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT etapspaphos compilerconstruction19thinternationalconferencecc2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings |