Detecting and Preventing Type Flaws: a Control Flow Analysis with tags |
Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo
|
| Type | Conference paper [Submitted] |
| Conference | 5th International Workshop on Security Issues in Concurrency |
| Year | 2007 Month September Vol. 194 pp. 3-22 |
| Series | Electronic Notes in Theoretical Computer Science |
| ISBN / ISSN | 1571-0661 |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |