<--- Back to Details
First PageDocument Content
Compiler optimizations / Procedural programming languages / Compiler construction / Source code / Data-flow analysis / C / Static single assignment form / Dead code / ALGOL 68 / Software engineering / Computing / Programming language theory
Date: 2006-02-02 06:00:00
Compiler optimizations
Procedural programming languages
Compiler construction
Source code
Data-flow analysis
C
Static single assignment form
Dead code
ALGOL 68
Software engineering
Computing
Programming language theory

Motivation Both human- and computer-generated programs sometimes contain data-flow anomalies. These anomalies result in the program being worse, in some sense, than it was intended to be. Data-flow analysis is useful in

Add to Reading List

Source URL: www.cl.cam.ac.uk

Download Document from Source Website

File Size: 161,94 KB

Share Document on Facebook

Similar Documents

02157 Functional Programming - Sequences

02157 Functional Programming - Sequences

DocID: 1rsIU - View Document

WG14	
  N1475	
   INCITS	
  PL22.11/09-­‐0002	
   Reply	
  to	
  the	
  Attention	
  of:	
  Barry	
  Hedquist	
   Email:	
  	
    	
  

WG14  N1475   INCITS  PL22.11/09-­‐0002   Reply  to  the  Attention  of:  Barry  Hedquist   Email:      

DocID: 1rgqx - View Document

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

DocID: 1rfUD - View Document

02157 Functional Programming - Tagged values and Higher-order list functions

02157 Functional Programming - Tagged values and Higher-order list functions

DocID: 1rahU - View Document

Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh

Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh

DocID: 1r6mD - View Document