Purity and Side Effect Analysis for Java Programs - Salcianu, Rinard

Il concetto di side effect è uno dei più dibattuti degli ultimi tempi (no, non arriverà nelle case di tutti tramite porta a porta, la discussione, perchè tanto c'è il forum di Lambda the Ultimate), soprattutto a causa del suo stretto legame con i linguaggi imperativi. Il paper dei due ricercatori del MIT presenta una interessante modalità di analisi dei side effect (e quindi un modus operandi per la caccia ai metodi puri). In particolare il modo per inferire le informazioni sui side effect delle operazioni è assolutamente interessante. Peccato solo per due questioni: è tutto pensato per Java (non che il porting dei concetti sia difficile) e devo immaginare un modo per rendere il controllo dei side-effect parte integrante dell'analisi del framework .net. Pare facile...

http://www.cag.lcs.mit.edu/~rinard/paper/vmcai05.purity.pdf