Static Analysis of Actors: From Type Systems to Abstract Interpretation

Publication
1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI'06), ETAPS'06 satellite event, Vienna, Austria

Related