Seminar details

salle A. Turing CE4

14 February 2014 - 14h00
A compositional approach to inter-procedural analysis
by Franck Cassez from 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 | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 3988722