|Help with alias analysis framework firstname.lastname@example.org (2004-08-13)|
|Re: Help with alias analysis framework email@example.com (Roberto Bagnara) (2004-08-15)|
|From:||Roberto Bagnara <firstname.lastname@example.org>|
|Date:||15 Aug 2004 22:17:29 -0400|
|Posted-Date:||15 Aug 2004 22:17:29 EDT|
> In the paper "Interprocedural may-alias analysis for pointers: beyond
> k-limiting", the author presents a parametric framework for the
> analysis of pointer aliases.
> The framework is parametrised by a numeric lattice V#.
> I need to implement the lattice operators [...] but how can this problem
> be solved for a generic lattice?
I am not sure I understand what you mean by "[solving] this problem [...]
for a generic lattice." All the numerical abstractions provided by the
Parma Polyhedra Library (http://www.cs.unipr.it/ppl/) come with the
operations that a numeric lattice must possess in Alain Deutsch's framework.
All the best,
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
Return to the
Search the comp.compilers archives again.