Telecharger Cours

Extending Abstract Interpretation to New Applicative Scenarios

The aim of this thesis is to extend the Abstract Interpretation framework to the broader context of Information Systems. In particular, we address.



Download