<--- Back to Details
First PageDocument Content
Compiler construction / Control flow / Compiler optimizations / Programming language implementation / Static single assignment form / Setjmp.h / Continuation-passing style / Constant folding / Subroutine / Software engineering / Computing / Computer programming
Date: 2011-08-22 07:52:53
Compiler construction
Control flow
Compiler optimizations
Programming language implementation
Static single assignment form
Setjmp.h
Continuation-passing style
Constant folding
Subroutine
Software engineering
Computing
Computer programming

Compiler optimizations based on call-graph flattening

Add to Reading List

Source URL: cafxx.strayorange.com

Download Document from Source Website

File Size: 883,00 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