Program Specialization:
This book presents the principles and techniques of program specialization - a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specia...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Somerset
John Wiley & Sons, Incorporated
2013
|
| Ausgabe: | 1st ed |
| Schriftenreihe: | Iste
|
| Schlagworte: | |
| Zusammenfassung: | This book presents the principles and techniques of program specialization - a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data specialization. The book, that targets both researchers and software engineers, also opens scientific and industrial perspectives |
| Beschreibung: | Description based on publisher supplied metadata and other sources |
| Beschreibung: | 1 online resource (528 pages) |
| ISBN: | 9781118576861 9781848213999 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044049928 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170217s2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9781118576861 |9 978-1-118-57686-1 | ||
| 020 | |a 9781848213999 |c Print |9 978-1-84821-399-9 | ||
| 035 | |a (ZDB-30-PAD)EBC1117267 | ||
| 035 | |a (ZDB-89-EBL)EBL1117267 | ||
| 035 | |a (ZDB-38-EBR)ebr10653861 | ||
| 035 | |a (OCoLC)827208497 | ||
| 035 | |a (DE-599)BVBBV044049928 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 005.1 | |
| 100 | 1 | |a Marlet, Renaud |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Program Specialization |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Somerset |b John Wiley & Sons, Incorporated |c 2013 | |
| 264 | 4 | |c © 2013 | |
| 300 | |a 1 online resource (528 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Iste | |
| 500 | |a Description based on publisher supplied metadata and other sources | ||
| 520 | |a This book presents the principles and techniques of program specialization - a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data specialization. The book, that targets both researchers and software engineers, also opens scientific and industrial perspectives | ||
| 650 | 4 | |a Program transformation (Computer programming) | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Marlet, Renaud |t Program Specialization |
| 912 | |a ZDB-30-PAD |a ZDB-38-ESG | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029456773 | ||
Datensatz im Suchindex
| _version_ | 1804177066841604096 |
|---|---|
| any_adam_object | |
| author | Marlet, Renaud |
| author_facet | Marlet, Renaud |
| author_role | aut |
| author_sort | Marlet, Renaud |
| author_variant | r m rm |
| building | Verbundindex |
| bvnumber | BV044049928 |
| collection | ZDB-30-PAD ZDB-38-ESG |
| ctrlnum | (ZDB-30-PAD)EBC1117267 (ZDB-89-EBL)EBL1117267 (ZDB-38-EBR)ebr10653861 (OCoLC)827208497 (DE-599)BVBBV044049928 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01971nmm a2200397zc 4500</leader><controlfield tag="001">BV044049928</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170217s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118576861</subfield><subfield code="9">978-1-118-57686-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848213999</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-84821-399-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-30-PAD)EBC1117267</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-89-EBL)EBL1117267</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-EBR)ebr10653861</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827208497</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044049928</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Marlet, Renaud</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Program Specialization</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Somerset</subfield><subfield code="b">John Wiley & Sons, Incorporated</subfield><subfield code="c">2013</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (528 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Iste</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book presents the principles and techniques of program specialization - a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data specialization. The book, that targets both researchers and software engineers, also opens scientific and industrial perspectives</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Program transformation (Computer programming)</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Marlet, Renaud</subfield><subfield code="t">Program Specialization</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PAD</subfield><subfield code="a">ZDB-38-ESG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029456773</subfield></datafield></record></collection> |
| id | DE-604.BV044049928 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:42:10Z |
| institution | BVB |
| isbn | 9781118576861 9781848213999 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029456773 |
| oclc_num | 827208497 |
| open_access_boolean | |
| physical | 1 online resource (528 pages) |
| psigel | ZDB-30-PAD ZDB-38-ESG |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | John Wiley & Sons, Incorporated |
| record_format | marc |
| series2 | Iste |
| spelling | Marlet, Renaud Verfasser aut Program Specialization 1st ed Somerset John Wiley & Sons, Incorporated 2013 © 2013 1 online resource (528 pages) txt rdacontent c rdamedia cr rdacarrier Iste Description based on publisher supplied metadata and other sources This book presents the principles and techniques of program specialization - a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data specialization. The book, that targets both researchers and software engineers, also opens scientific and industrial perspectives Program transformation (Computer programming) Erscheint auch als Druck-Ausgabe Marlet, Renaud Program Specialization |
| spellingShingle | Marlet, Renaud Program Specialization Program transformation (Computer programming) |
| title | Program Specialization |
| title_auth | Program Specialization |
| title_exact_search | Program Specialization |
| title_full | Program Specialization |
| title_fullStr | Program Specialization |
| title_full_unstemmed | Program Specialization |
| title_short | Program Specialization |
| title_sort | program specialization |
| topic | Program transformation (Computer programming) |
| topic_facet | Program transformation (Computer programming) |
| work_keys_str_mv | AT marletrenaud programspecialization |