Verimag

Détails sur le séminaire

salle A. Turing CE4
14 février 2014 - 14h00
A compositional approach to inter-procedural analysis
par Franck Cassez de NICTA, Sydney, Australie



Abstract: We address the problem of analysing inter-procedural programs without inlining function calls.
Joint work with Christian Müller and Karla Burnett (more detailed abstract to come).




Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874732