Year: 1998
Type: article
Abstract: Static Single-Assignment (SSA) form is an intermediate \nlanguage designed to make optimization clean and \nefficient for imperative-language (Fortran, C) compilers. \nLambda-calculus is an intermediate language that \nmakes optimization clean and efficient for functional language (Scheme, ML, Haskell) compilers. The SSA \ncommunity draws pictures of graphs with basic blocks \nand flow edges, and the functional-language community \nwrites lexically nested functions, but (as Richard Kelsey \nrecently pointed out) they’re both doing exactly the \nsame thing in different notation. \n
Source: ACM SIGPLAN Notices
Author: Andrew W. Appel
Institution: Alcatel-Lucent (France)
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2149127686