User loginNavigation |
Pure imperative programmingTwo intensively studied intermediate representations in compiler theory are Static Single Assignment form (SSA) and CPS translations, and Richard Kelsey's 1995 paper, A Correspondence Between Continuation Passing Style and Static Single Assignment Form (.ps.gz) shows a nearly complete, exact equivalence between the two IRs. The correspondence shows how the imperatively expressed SSA can be regarded as side-effect free, and Andrew Appel has pushed this idea to claim that SSA is functional programming. This result is of clear relevance to discussions turning on "what is purity?", such as here. As an aside, the Wikipedia article Static Single Assignment form is rather good. |
Browse archivesActive forum topics |
Recent comments
7 weeks 6 days ago
8 weeks 1 day ago
8 weeks 3 days ago
15 weeks 2 days ago
21 weeks 20 hours ago
21 weeks 1 day ago
22 weeks 21 hours ago
24 weeks 6 days ago
26 weeks 2 days ago
26 weeks 2 days ago