Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization

>> Google Books

所蔵情報QRコード

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer, Bernhard Scholz

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

xii, 129 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2628 <BA00009279>

著者名:

ISBN:

9783540011859 [3540011854]

書誌ID:

BA62020088

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Bibliography: p. [119]-125
Includes index
"State-of-the-Art Survey"--Cover

主題:

器械計算．計算器

言語:

英語

目次情報:

Preface / 1：

Introduction / 2：

Motivation / 2.1：

Applications for Symbolic Analysis of Programs / 2.2：

Contributions / 2.3：

Symbolic Analysis Framework / 2.3.1：

Symbolic Analysis for Parallelizing Compilers / 2.3.2：

Organization / 2.4：

Symbolic Analysis of Programs / 3：

Initializations, Assignments, and Input/Output Operations / 3.1：

Conditional Statements / 3.3：

Loops and Recurrences / 3.4：

Arrays / 3.5：

Procedures / 3.6：

Dynamic Data Structures / 3.7：

Summary / 3.8：

Generating Program Contexts / 4：

Extended Control Flow Graph / 4.1：

Algorithm / 4.3：

Symbolic Analysis Algorithms and Transformations / 4.4：

Preliminaries / 5.1：

Symbolic Expression Evaluation / 5.3：

Compute Lower and Upper Bounds of Symbolic Ex- pressions / 5.3.1：

Rewrite ?-Expressions / 5.3.2：

Rewrite Policies / 5.3.3：

Simplify Expressions / 5.3.4：

Determine Result / 5.3.5：

Count Solutions to a System of Constraints / 5.4：

Symbolic Sum Computation / 5.4.1：

The Algorithm / 5.4.2：

Algebraic Sum / 5.4.3：

Miscellaneous / 5.4.4：

Simplify Systems of Constraints / 5.5：

Experiments / 5.6：

Eliminate Redundant Constraints / 5.6.1：

Counting Solutions to a System of Constraints / 5.6.2：

Optimizing FTRVMT / 5.6.3：

Programming DMMPs / 5.7：

Data Dependence Analysis / 6.3：

Vienna High Performance Compiler / 6.4：

Implementation / 6.5：

Symbolic Analysis to Optimize OLDA / 6.6：

Symbolic Analysis to Optimize HNS / 6.7：

Related Work / 6.8：

Advanced Symbolic Analysis Algorithms / 7.1：

Parallelizing Compilers / 7.2：

Conclusion / 8：

Appendix / 9：

Control Flow Graphs / 9.1：

Denotational Semantics / 9.2：

Notation / 9.3：

Denotational Semantic: Notation / 9.4：

References

Index

Preface / 1：

Introduction / 2：

Motivation / 2.1：

Applications for Symbolic Analysis of Programs / 2.2：

Contributions / 2.3：

Symbolic Analysis Framework / 2.3.1：

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Advanced Symbolic Analysis for Compilers Fahringer, Thomas, Scholz, Bernhard Friedrich, Scholz, Bernhard SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 Approximation, randomization, and combinatorial optimization : algorithms and techniques : 7th International Workshop on Approximation Algorithms for … Workshop on Approximation Algorithms for Combinatorial Optimization Problems, International Workshop on Randomization … Springer
2 図書 Efficient approximation and online algorithms : recent progress on classical combinatorial optimization problems and new applications Bampis, Evripidis, Jansen, Klaus, Kenyon, Claire Springer	8 図書 Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : Third International Conference, CPAIOR 2006, Cork, … CPAIOR, Beck, J. Christopher, Smith, Barbara M. Springer
3 図書 Modular algorithms in symbolic summation and symbolic integration Gerhard, Jürgen Springer	9 図書 Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : Second International Conference, CPAIOR 2005 Prague, … CPAIOR, Barták, Roman, Milano, Michela Springer
4 図書 Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first International Conference, CPAIOR 2004, Nice, … CPAIOR, Régin, Jean-Charles, Rueher, Michel Springer	10 図書 Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings ILP, Kramer, Stefan, Prof. Dr, Pfahringer, Bernhard Springer
5 図書 Approximation, randomization and combinatorial optimization : algorithms and techniques : 9th International Workshop on Approximation Algorithms for … Workshop on Approximation Algorithms for Combinatorial Optimization Problems, Rolim, José D. P., Jansen, Klaus, … Springer	11 図書 Algorithms for memory hierarchies : advanced lectures Meyer, Ulrich, Sanders, Peter, Sibeyn, Jop Springer
6 図書 Approximation, randomization, and combinatorial optimization : algorithms and techniques : 8th International Workshop on Approximation Algorithms for … Workshop on Approximation Algorithms for Combinatorial Optimization Problems, International Workshop on Randomization … Springer	12 図書 Advanced topics in exception handling techniques Dony, Christophe, Knudsen, Jørgen Lindskov, Romanovsky, Alexander, Tripathi, Anand Springer