21 Jul
2012
21 Jul
'12
9:44 a.m.
On 07/20/12 19:02, Z wrote:
Hello,
I am using PPL's Java interface for static program analysis. The library is known to be "very user friendly". However, I cannot find a working example (say, a hello world) for PPL. No examples are provided in the user's manual. Could you show me some examples? Thanks.
Zell.
Hi Zell, did you look in the interfaces/Java/tests directory? Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it