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
6 hours 8 min ago
7 hours 4 min ago
21 hours 29 min ago
21 hours 47 min ago
21 hours 50 min ago
2 days 18 hours ago
3 days 4 hours ago
3 days 10 hours ago
3 days 11 hours ago
3 days 18 hours ago