Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Functional Programming Editor: Philip Wadler, Bell Laboratories, Lucent Technologies; wadler@research.bell-labs.com
 

Summary: SIGPLAN
ACM
Functional Programming
Editor: Philip Wadler, Bell Laboratories, Lucent Technologies; wadler@research.bell-labs.com
SSA is Functional Programming
Andrew W. Appel
Static Single-Assignment (SSA) form is an intermedi-
ate language designed to make optimization clean and
efficient for imperative-language (Fortran, C) compil-
ers. Lambda-calculus is an intermediate language that
makes optimization clean and efficient for functional-
language (Scheme, ML, Haskell) compilers. The SSA
community draws pictures of graphs with basic blocks
and flow edges, and the functional-language community
writes lexically nested functions, but (as Richard Kelsey
recently pointed out [9]) they're both doing exactly the
same thing in different notation.
SSA form. Many dataflow analyses need to find the
use-sites of each defined variable or the definition-sites
of each variable used in an expression. The def-use chain

  

Source: Appel, Andrew W. - Department of Computer Science, Princeton University

 

Collections: Computer Technologies and Information Sciences