<--- 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

Software / Computing / Compiler optimizations / Compiler construction / Programming language implementation / Undefined behavior / Optimizing compiler / Compiler / Inline expansion / Constant folding / Loop-invariant code motion / Program optimization

The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer

DocID: 1nsnd - View Document

Computing / Loop invariant / Invariant / Infinite loop / Constructible universe / For loop / Loop-invariant code motion / Invariant theory / Software engineering / Computer programming / Control flow

Maximal and Compositional Pattern-Based Loop Invariants Virginia Aponte1 , Pierre Courtieu1 , Yannick Moy2 , and Marc Sango2 1 CNAM, 292 rue Saint-Martin FParis Cedex 03 - FRANCE

DocID: 18sUS - View Document

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

DocID: 10FLL - View Document