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

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
>