|
|
|
|
| LEADER |
04939cam a22008532 4500 |
| 001 |
0-1649076975 |
| 003 |
DE-627 |
| 005 |
20240122105323.0 |
| 007 |
cr uuu---uuuuu |
| 008 |
100427s2010 gw |||||o 00| ||eng c |
| 020 |
|
|
|a 9783642119705
|9 978-3-642-11970-5
|
| 024 |
7 |
|
|a 10.1007/978-3-642-11970-5
|2 doi
|
| 035 |
|
|
|a (DE-627)1649076975
|
| 035 |
|
|
|a (DE-576)322305195
|
| 035 |
|
|
|a (DE-599)BSZ322305195
|
| 035 |
|
|
|a (OCoLC)643270170
|
| 035 |
|
|
|a (DE-He213)978-3-642-11970-5
|
| 035 |
|
|
|a (EBP)040516245
|
| 040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
| 041 |
|
|
|a eng
|
| 044 |
|
|
|c XA-DE
|
| 050 |
|
0 |
|a QA76.758
|
| 072 |
|
7 |
|a UMZ
|2 bicssc
|
| 072 |
|
7 |
|a COM051230
|2 bisacsh
|
| 084 |
|
|
|a SS 4800
|2 rvk
|0 (DE-625)rvk/143528:
|
| 084 |
|
|
|a 54.53
|2 bkl
|
| 100 |
1 |
|
|a Gupta, Rajiv
|0 (DE-627)1237848369
|0 (DE-576)167848364
|4 aut
|
| 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 edited by Rajiv Gupta
|
| 264 |
|
1 |
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2010
|
| 300 |
|
|
|a Online-Ressource (XII, 326p. 119 illus, digital)
|
| 336 |
|
|
|a Text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
| 338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science
|v 6011
|
| 490 |
0 |
|
|a SpringerLink
|a Bücher
|
| 520 |
|
|
|a Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code Improvement in a Just-In-Time Compiler -- Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values -- Optimizing Matlab through Just-In-Time Specialization -- RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local Transformations on Relaxed Memory Models -- Program Analysis -- Practical Extensions to the IFDS Algorithm -- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs -- Register Allocation -- Punctual Coalescing -- Strategies for Predicate-Aware Register Allocation -- Preference-Guided Register Assignment -- High-Performance Systems -- Validating Register Allocation and Spilling -- Automatic C-to-CUDA Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? -- The Polyhedral Model Is More Widely Applicable Than You Think -- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations.
|
| 650 |
|
0 |
|a Computer science
|
| 650 |
|
0 |
|a Computer Communication Networks
|
| 650 |
|
0 |
|a Computer software
|
| 650 |
|
0 |
|a Computer Science
|
| 650 |
|
0 |
|a Software engineering
|
| 650 |
|
0 |
|a Computer networks .
|
| 650 |
|
0 |
|a Compilers (Computer programs).
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Machine theory.
|
| 655 |
|
7 |
|a Konferenzschrift
|y 2010
|z Paphos, Ktima
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
| 689 |
0 |
0 |
|D s
|0 (DE-588)4121803-6
|0 (DE-627)105766933
|0 (DE-576)209546298
|a Übersetzerbau
|2 gnd
|
| 689 |
0 |
|
|5 DE-101
|
| 776 |
1 |
|
|z 9783642119699
|
| 776 |
0 |
8 |
|i Buchausg. u.d.T.
|t Compiler construction
|d Berlin : Springer, 2010
|h XII, 323 S.
|w (DE-627)619692367
|w (DE-576)321093232
|z 3642119697
|z 9783642119699
|
| 830 |
|
0 |
|a Lecture notes in computer science
|v 6011
|9 6011
|w (DE-627)316228877
|w (DE-576)093890923
|w (DE-600)2018930-8
|x 1611-3349
|7 ns
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-11970-5
|m X:SPRINGER
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|b 2010
|
| 912 |
|
|
|a ZDB-2-SEB
|
| 912 |
|
|
|a ZDB-2-SCS
|b 2010
|
| 912 |
|
|
|a ZDB-2-SXCS
|b 2010
|
| 912 |
|
|
|a ZDB-2-SEB
|b 2010
|
| 936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
| 936 |
b |
k |
|a 54.53
|j Programmiersprachen
|q SEPA
|0 (DE-627)106418890
|
| 951 |
|
|
|a BO
|
| 900 |
|
|
|a Gupta, R.
|
| 950 |
|
|
|a Compilerbau
|
| 950 |
|
|
|a Übersetzer
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-11970-5
|9 DE-14
|
| 852 |
|
|
|a DE-14
|z 2011-07-20T14:58:46Z
|x epn:3332236288
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-11970-5
|9 DE-15
|
| 852 |
|
|
|a DE-15
|z 2011-05-16T16:36:04Z
|x epn:3332236350
|
| 976 |
|
|
|h Elektronischer Volltext - Campuslizenz
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-11970-5
|z Zum Online-Dokument
|9 DE-Zi4
|
| 852 |
|
|
|a DE-Zi4
|z 2011-01-26T14:33:45Z
|x epn:3332236458
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-11970-5
|9 DE-520
|
| 852 |
|
|
|a DE-520
|z 2012-11-21T15:49:25Z
|x epn:3332236482
|
| 980 |
|
|
|a 1649076975
|b 0
|k 1649076975
|o 322305195
|
SOLR
| _version_ |
1789363819309432832 |
| access_facet |
Electronic Resources |
| author |
Gupta, Rajiv |
| author_facet |
Gupta, Rajiv |
| author_role |
aut |
| author_sort |
Gupta, Rajiv |
| author_variant |
r g rg |
| callnumber-first |
Q - Science |
| callnumber-label |
QA76 |
| callnumber-raw |
QA76.758 |
| callnumber-search |
QA76.758 |
| callnumber-sort |
QA 276.758 |
| callnumber-subject |
QA - Mathematics |
| collection |
ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS |
| contents |
Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code Improvement in a Just-In-Time Compiler -- Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values -- Optimizing Matlab through Just-In-Time Specialization -- RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local Transformations on Relaxed Memory Models -- Program Analysis -- Practical Extensions to the IFDS Algorithm -- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs -- Register Allocation -- Punctual Coalescing -- Strategies for Predicate-Aware Register Allocation -- Preference-Guided Register Assignment -- High-Performance Systems -- Validating Register Allocation and Spilling -- Automatic C-to-CUDA Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? -- The Polyhedral Model Is More Widely Applicable Than You Think -- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. |
| ctrlnum |
(DE-627)1649076975, (DE-576)322305195, (DE-599)BSZ322305195, (OCoLC)643270170, (DE-He213)978-3-642-11970-5, (EBP)040516245 |
| de15_date |
2011-05-16T16:36:04Z |
| doi_str_mv |
10.1007/978-3-642-11970-5 |
| era_facet |
2010 |
| facet_912a |
ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS |
| facet_avail |
Online |
| facet_local_del330 |
Übersetzerbau |
| finc_class_facet |
Informatik, Mathematik |
| finc_id_str |
0000857935 |
| fincclass_txtF_mv |
science-computerscience |
| format |
eBook, ConferenceProceedings |
| format_access_txtF_mv |
Book, E-Book |
| format_de105 |
Ebook |
| format_de14 |
Book, E-Book |
| format_de15 |
Book, E-Book |
| format_del152 |
Buch |
| format_detail_txtF_mv |
text-online-monograph-independent-conference |
| format_dezi4 |
e-Book |
| format_finc |
Book, E-Book |
| format_legacy |
ElectronicBook |
| format_legacy_nrw |
Book, E-Book |
| format_nrw |
Book, E-Book |
| format_strict_txtF_mv |
E-Book |
| genre |
Konferenzschrift 2010 Paphos, Ktima (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
| genre_facet |
Konferenzschrift |
| geogr_code |
not assigned |
| geogr_code_person |
not assigned |
| geographic_facet |
Paphos, Ktima |
| hierarchy_parent_id |
0-316228877 |
| hierarchy_parent_title |
Lecture notes in computer science |
| hierarchy_sequence |
6011 |
| hierarchy_top_id |
0-316228877 |
| hierarchy_top_title |
Lecture notes in computer science |
| id |
0-1649076975 |
| illustrated |
Not Illustrated |
| imprint |
Berlin, Heidelberg, Springer Berlin Heidelberg, 2010 |
| imprint_str_mv |
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 |
| institution |
DE-14, DE-Zi4, DE-520, DE-15 |
| is_hierarchy_id |
0-1649076975 |
| is_hierarchy_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 |
| isbn |
9783642119705 |
| isbn_isn_mv |
9783642119699, 3642119697 |
| issn_isn_mv |
1611-3349 |
| kxp_id_str |
1649076975 |
| language |
English |
| last_indexed |
2024-01-28T19:31:56.195Z |
| local_heading_facet_dezwi2 |
Computer science, Computer Communication Networks, Computer software, Computer Science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Machine theory., Übersetzerbau |
| marc024a_ct_mv |
10.1007/978-3-642-11970-5 |
| match_str |
gupta2010compilerconstruction19thinternationalconferencecc2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings |
| mega_collection |
Verbunddaten SWB |
| multipart_link |
093890923 |
| multipart_part |
(093890923)6011 |
| names_id_str_mv |
(DE-627)1237848369, (DE-576)167848364 |
| oclc_num |
643270170 |
| physical |
Online-Ressource (XII, 326p. 119 illus, digital) |
| publishDate |
2010 |
| publishDateSort |
2010 |
| publishPlace |
Berlin, Heidelberg |
| publisher |
Springer Berlin Heidelberg |
| record_format |
marcfinc |
| record_id |
322305195 |
| recordtype |
marcfinc |
| rsn_id_str_mv |
(DE-15)2459781 |
| rvk_facet |
SS 4800 |
| rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science |
| rvk_path |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
| rvk_path_str_mv |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
| series |
Lecture notes in computer science, 6011 |
| series2 |
Lecture Notes in Computer Science ; 6011, SpringerLink ; Bücher |
| source_id |
0 |
| spelling |
Gupta, Rajiv (DE-627)1237848369 (DE-576)167848364 aut, 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 edited by Rajiv Gupta, Berlin, Heidelberg Springer Berlin Heidelberg 2010, Online-Ressource (XII, 326p. 119 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 6011, SpringerLink Bücher, Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code Improvement in a Just-In-Time Compiler -- Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values -- Optimizing Matlab through Just-In-Time Specialization -- RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local Transformations on Relaxed Memory Models -- Program Analysis -- Practical Extensions to the IFDS Algorithm -- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs -- Register Allocation -- Punctual Coalescing -- Strategies for Predicate-Aware Register Allocation -- Preference-Guided Register Assignment -- High-Performance Systems -- Validating Register Allocation and Spilling -- Automatic C-to-CUDA Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? -- The Polyhedral Model Is More Widely Applicable Than You Think -- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations., Computer science, Computer Communication Networks, Computer software, Computer Science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Machine theory., Konferenzschrift 2010 Paphos, Ktima (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4121803-6 (DE-627)105766933 (DE-576)209546298 Übersetzerbau gnd, DE-101, 9783642119699, Buchausg. u.d.T. Compiler construction Berlin : Springer, 2010 XII, 323 S. (DE-627)619692367 (DE-576)321093232 3642119697 9783642119699, Lecture notes in computer science 6011 6011 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-11970-5 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-11970-5 DE-14, DE-14 2011-07-20T14:58:46Z epn:3332236288, http://dx.doi.org/10.1007/978-3-642-11970-5 DE-15, DE-15 2011-05-16T16:36:04Z epn:3332236350, http://dx.doi.org/10.1007/978-3-642-11970-5 Zum Online-Dokument DE-Zi4, DE-Zi4 2011-01-26T14:33:45Z epn:3332236458, http://dx.doi.org/10.1007/978-3-642-11970-5 DE-520, DE-520 2012-11-21T15:49:25Z epn:3332236482 |
| spellingShingle |
Gupta, Rajiv, 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, 6011, Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code Improvement in a Just-In-Time Compiler -- Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values -- Optimizing Matlab through Just-In-Time Specialization -- RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local Transformations on Relaxed Memory Models -- Program Analysis -- Practical Extensions to the IFDS Algorithm -- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs -- Register Allocation -- Punctual Coalescing -- Strategies for Predicate-Aware Register Allocation -- Preference-Guided Register Assignment -- High-Performance Systems -- Validating Register Allocation and Spilling -- Automatic C-to-CUDA Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? -- The Polyhedral Model Is More Widely Applicable Than You Think -- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations., Computer science, Computer Communication Networks, Computer software, Computer Science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Machine theory., Konferenzschrift 2010 Paphos, Ktima, Übersetzerbau |
| swb_id_str |
322305195 |
| 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_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 edited by Rajiv Gupta |
| 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 edited by Rajiv Gupta |
| 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 edited by Rajiv Gupta |
| title_in_hierarchy |
6011. 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 (2010) |
| 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 |
| title_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 |
| topic |
Computer science, Computer Communication Networks, Computer software, Computer Science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Machine theory., Konferenzschrift 2010 Paphos, Ktima, Übersetzerbau |
| topic_facet |
Computer science, Computer Communication Networks, Computer software, Computer Science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Machine theory., Konferenzschrift, Übersetzerbau |
| url |
https://doi.org/10.1007/978-3-642-11970-5, http://dx.doi.org/10.1007/978-3-642-11970-5 |
