This paper by Andrew Appel argues that SSA form is equivalent to functional programming.
He’s not the only one to argue this. See http://www.c2.com/cgi/wiki?AssignVariablesOnce for a brief discussion at the programmer level.
Comment by charles — July 7, 2008 @ 8:55 am
Mars Saxman
facebook, myspace, livejournal, flickr, dodgeball, twitter
2006: January February March April May June July August September October November December
2005: January February March April May June July August September October November December
2004: January February March April May June July August September October November December
2003: November December
Wanderings in Black and Red (previous site)
He’s not the only one to argue this. See http://www.c2.com/cgi/wiki?AssignVariablesOnce for a brief discussion at the programmer level.
Comment by charles — July 7, 2008 @ 8:55 am