June 9, 2010
6:17 a.m.
On Jun 9, 2010, at 7:35 AM, Tudor Girba wrote:
Hi Johan,
It is not only reasoning about Java. A connection to Java is very useful to communicate with Java libraries (for example, graph libraries). +1 such as a PHP parser Also, what Johan Brichau did in VW was to directly query Eclipse for reasoning about Java. Pretty cool :)
Cheers, Doru