Static single information from a functional perspective

: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers for imperative programming languages. In this paper we show how a program expressed in static single information can be transformed into an equivalent program in functional notation. We also examine the implications of this transformation.

• Type: Conference
• Year: 2003
• Where: SFP
• Authors: Jeremy Singer
• Keywords: Programming Languages, SFP 2003, Single Information Form, Static Single Assignment Form, Static Single Information