%0 Conference Proceedings
%F jeannet02b
%A Jeannet, B.
%T Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes
%B Static Analysis Symposium, SAS'02
%V 2477
%P 52-68
%S LNCS
%C Madrid (Spain))
%X We present a general method to combine different datatypes in Abstract Interpretation, within the framework of verification of reactive system. We focus more precisely on the efficient representation and approximation of the transfer functions involved in the abstract fixpoint computations. The solution we propose allows to tune smoothly the necessary tradeoff between accuracy and efficiency in the analysis
%U http://www.irisa.fr/vertecs/Publis/Ps/sas02.pdf
%8 September
%D 2002