Static Analysis of Actors: From Type Systems to Abstract Interpretation

Pierre-Loic Garoche, Marc Pantel, Xavier Thirioux
March 2006
Cite
Type
Conference paper
Publication
1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI'06), ETAPS'06 satellite event, Vienna, Austria
"workshop" "own"
Xavier Thirioux
Xavier Thirioux
Professor at ISAE-Supaero

Related