A prototype static analysis tool for observable effectshttp://plsadventures.blogspot.com/2009/08/prototype-static-analysis-tool-for.html by gdp • 17 years ago 1 0 17 years agoPLplsadventures.blogspot.com