[PPL-devel] [Fwd: Re: Question about ALV & PPL]

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: [PPL-devel] Question about ALV & PPL
Date: Tue, 25 Mar 2008 10:51:56 -0400
From: David Rodriguez Velazquez <david.rodriguez-velazquez at wmich.edu>
To: Roberto Bagnara <bagnara at cs.unipr.it>

Dear Roberto:
Ok. I read the address in your web page. I am going to send the message to them.


Sincerely.

David Rodriguez Velazquez
david.rodriguez-velazquez at wmich.edu


----- Original Message -----
From: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tuesday, March 25, 2008 10:27 am
Subject: Re: [PPL-devel] Question about ALV & PPL

> David Rodriguez Velazquez wrote:
> > Dear Roberto :
> > First, Thanks a lot for your fast email.
> > 
> > Yes, ALV is the Action Language Verifier
> > I installed the version 9 of PPL and version 4 of ALV.
> > I don't know the Ken's email .
> 
> Hi David,
> 
> The email addresses of Ken and Tevfik are in CC in my
> previous message.
> 
> > Is it possible to get that version?
> 
> I think so.  However, I would prefer to know if Ken
> and Tevfik have something to say on this subject.
> There should not be any legal problem: since the PPL
> is under the GNU General Public License, the version
> of ALV I got must be under a GPL-compatible license.
> But they may have a more recent version to offer
> and/or advice on how to upgrade Ken's interface to
> PPL 0.9 and ALV 0.4.
> 
> > I could test  in the new versions.
> 
> OK.  Let us give them the time to react to my message.
> All the best,
> 
>     Roberto
> 
> P.S.  Please, direct all correspondence to ppl-devel at cs.unipr.it
> 
> 
> > Sincerely.
> > 
> > David Rodriguez Velazquez
> > david.rodriguez-velazquez at wmich.edu
> > 
> > 
> > ----- Original Message -----
> > From: Roberto Bagnara <bagnara at cs.unipr.it>
> > Date: Tuesday, March 25, 2008 9:23 am
> > Subject: Re: [PPL-devel] Question about ALV & PPL
> > 
> >> David Rodriguez Velazquez wrote:
> >>> I have a question. I want to use ALV and PPL  instead of Omega.
> >>> Do you have any tip how can I start to work on it? Do you have 
> >> any advice?
> >>
> >> Dear David,
> >>
> >> I assume by ALV you mean the Action Language Verifier
> >> (http://www.cs.ucsb.edu/~bultan/composite/index.html).
> >>
> >> Back in 2003 Ken Mixter, under the direction of Tevfik Bultan
> >> (both in CC), produced a version of ALV that is based on
> >> the PPL.  That version was never released to the public,
> >> but I have a copy (I don't know if it is up-to-date).
> >> The problem is that this was based on ALV 0.2 and PPL 0.4.2
> >> whereas the current version of ALV is 0.4 and the current
> >> version of PPL is 0.9: I don't know if the PPL interface
> >> developed by Ken is compatible with these new versions.
> >> For the PPL side there is no problem at all: we can make the
> >> required changes in a matter of minutes.  I don't know
> >> if the changes between ALV 0.2 to ALV 0.4 are more difficult
> >> to accommodate.
> >>
> >> Let us see if Ken and or Tevfik have something
> >> more up-to-date or some suggestion to offer.
> >> All the best,
> >>
> >>     Roberto
> >>
> >> -- 
> >> Prof. Roberto Bagnara
> >> Computer Science Group
> >> Department of Mathematics, University of Parma, Italy
> >> http://www.cs.unipr.it/~bagnara/
> >> bagnara at cs.unipr.it
> >>
> > 
> 
> 
> -- 
> Prof. Roberto Bagnara
> Computer Science Group
> Department of Mathematics, University of Parma, Italy
> http://www.cs.unipr.it/~bagnara/
> bagnara at cs.unipr.it
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
> 


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it