4 Nov
2004
4 Nov
'04
5:44 p.m.
Hello,
I am interested in exploring the convex polyhera powerset domain to improve some precison loss in a size analysis that's part of my PhD research. I read the PPL documentation and saw no mention of the C interface to this. Does this mean it only usable thru the C++ library?
Thanks for any help,
Pedro Vasconcelos
--
Pedro Vasconcelos, School of Computer Science, University of St Andrews
-----------------------------------------------------------------------
"The difference between Theory and Practice
is greater in Practice than in Theory."