[PPL-devel] Question about ALV & PPL

[Roberto Bagnara]

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/
mailto:bagnara at cs.unipr.it