|
|
|
|
| LEADER |
03177nam a2200541 4500 |
| 001 |
978-3-540-49639-7 |
| 003 |
DE-He213 |
| 005 |
20191026192349.0 |
| 007 |
cr nn 008mamaa |
| 008 |
121227s1998 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783540496397
|9 978-3-540-49639-7
|
| 024 |
7 |
|
|a 10.1007/3-540-49639-4
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.9.L63
|
| 050 |
|
4 |
|a QA76.5913
|
| 072 |
|
7 |
|a UM
|2 bicssc
|
| 072 |
|
7 |
|a COM051000
|2 bisacsh
|
| 072 |
|
7 |
|a UM
|2 thema
|
| 072 |
|
7 |
|a UYF
|2 thema
|
| 082 |
0 |
4 |
|a 005.1015113
|2 23
|
| 100 |
1 |
|
|a Knoop, Jens.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 245 |
1 |
0 |
|a Optimal Interprocedural Program Optimization
|h [electronic resource] :
|b A New Framework and Its Application /
|c by Jens Knoop.
|
| 250 |
|
|
|a 1st ed. 1998.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 1998.
|
| 300 |
|
|
|a XXV, 288 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 1428
|
| 505 |
0 |
|
|a Preface -- Preface -- The Intraprocedural Framework -- Optimal Intraprocedural Code Motion: The Transformations -- Optimal Intraprocedural Code Motion: The DFA-Algorithms -- The Framework -- The Programming Language -- Higher Order Data Flow Analysis -- The Interprocedural Setting -- Interprocedural Abstract Interpretation -- A Cookbook for Optimal Interprocedural Program Optimization -- The Application -- Optimal Interprocedural Code Motion: The Transformations -- Optimal Interprocedural Code Motion: The IDFA-Algorithms -- Conclusion -- Perspectives.
|
| 520 |
|
|
|a Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers).
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
1 |
4 |
|a Logics and Meanings of Programs.
|0 http://scigraph.springernature.com/things/product-market-codes/I1603X
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|0 http://scigraph.springernature.com/things/product-market-codes/I14037
|
| 650 |
2 |
4 |
|a Software Engineering.
|0 http://scigraph.springernature.com/things/product-market-codes/I14029
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783540651239
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783662182284
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 1428
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/3-540-49639-4
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 912 |
|
|
|a ZDB-2-BAE
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
