[PPL-devel] beginner's question: don't you have any examples?

[Roberto Bagnara]

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 at cs.unipr.it