<--- Back to Details
First PageDocument Content
Computer programming / Constant folding / Static single assignment form / Loop-invariant code motion / Dead code elimination / Compiler / Program optimization / Data-flow analysis / Goto / Software engineering / Compiler optimizations / Computing
Date: 2008-09-08 17:20:08
Computer programming
Constant folding
Static single assignment form
Loop-invariant code motion
Dead code elimination
Compiler
Program optimization
Data-flow analysis
Goto
Software engineering
Compiler optimizations
Computing

Microsoft Word - 20-Optimization.doc

Add to Reading List

Source URL: dragonbook.stanford.edu

Download Document from Source Website

File Size: 114,43 KB

Share Document on Facebook

Similar Documents

DCC888 – SSA Based Register Allocation Name: ID: 1. This question refers to the program below, which is in Static Single Assignment form.

DocID: 1vdqF - View Document

Software engineering / Compiler optimizations / Compiler construction / Programming language theory / Computing / Data-flow analysis / Control flow graph / Variable / Scope / Static single assignment form / Aliasing / Program analysis

Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

DocID: 1rihM - View Document

Mathematics / Logic / Model theory / Abstraction / Limit / Interpretation / IP / Bayesian network / Static single assignment form / Symbol / Expected value / Linear temporal logic

Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran

DocID: 1rhTz - View Document

Compiler optimizations / Computing / Program analysis / Abstract interpretation / Data-flow analysis / Abstraction / Static single assignment form / Graph / Bytecode / Register allocation / Algorithm / Academia

A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah

DocID: 1rfQU - View Document

Software / Computing / Numerical linear algebra / Numerical software / Compiler optimizations / Automatically Tuned Linear Algebra Software / Basic Linear Algebra Subprograms / Kernel / Mathematical optimization / Program optimization / Static single assignment form / Loop unrolling

Automated Empirical Optimization of High Performance Floating Point Kernels R. Clint Whaley University of Texas, San Antonio and David B. Whalley

DocID: 1r3M4 - View Document