Re: Inference of static types

["Etienne M. Gagnon" <egagnon@j-meg.com>]

"Lipsky, Nikita" wrote:
> Yes, algorithm works well. However I'd like to improve it and publish
> results if you do not mind, :)).

That's great.  But, please, when you compare your solution to ours in
your future papers, do mention the solutions I have proposed.  The
integer/boolean solution is already documented in Soot's documentation
(and is visible on http://www.sable.mcgill.ca/soot/tutorial/typing/ ). 
I will update this document with the "illegal" reference type solution.

Have fun!

Etienne
-- 
----------------------------------------------------------------------
Etienne M. Gagnon, M.Sc.                     e-mail: egagnon@j-meg.com
Author of SableCC:                             http://www.sablecc.org/
and SableVM:                                   http://www.sablevm.org/