-------- 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@wmich.edu To: Roberto Bagnara bagnara@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@wmich.edu
----- Original Message ----- From: Roberto Bagnara bagnara@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,
RobertoP.S. Please, direct all correspondence to ppl-devel@cs.unipr.it
Sincerely.
David Rodriguez Velazquez david.rodriguez-velazquez@wmich.edu
----- Original Message ----- From: Roberto Bagnara bagnara@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@cs.unipr.it
-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ bagnara@cs.unipr.it _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel