
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