Re: [eclipse-clp-users] I would need a static mode inference package running in Eclipse

From: Kish Shen <kisshen_at_cisco.com>
Date: Fri, 31 Aug 2012 17:51:20 +0100
Hi Mireille,

To the best of my knowledge, we don't distribute any static mode 
inference package with ECLiPSe. I think Steve Prestwich's Paddy partial 
deduction system is still distributed with ECLiPSe. I don't think this 
does mode inference as such (I don't really know anything about it, and 
it does not come with much documentation, but I guess you might know 
more about it from the ECRC days), but it might be the closest thing 
that is distributed with ECLiPSe. I don't think this code have been 
changed much since when it was written, so it might not cope with some 
of the current language features of ECLiPSe...

There might of course be third party systems out there, but I have no 
personal knowledge of any such system.

Cheers,

Kish

On 29/08/2012 16:11, Mireille Ducasse wrote:
> Hi,
>
> I would need a static mode inference package running in Eclipse, for
> teaching purposes. As far as I can tell from the Eclipse documentation,
> mode analysis is only dynamic.
>
> Have I missed something in the documentation ? Is there such a library
> running somewhere ?
>
> Thanks for your help,
>
> Mireille Ducassé
> Computer Department
> INSA de Rennes, France
>
> ------------------------------------------------------------------------------
> Live Security Virtual Conference
> Exclusive live event will cover all the ways today's security and
> threat landscape has changed and how IT managers can respond. Discussions
> will include endpoint security, mobile security and the latest in malware
> threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
Received on Fri Aug 31 2012 - 16:51:33 CEST

This archive was generated by hypermail 2.2.0 : Tue Sep 04 2012 - 06:13:42 CEST