Detecting and Preventing Type Flaws: a Control Flow Analysis with Tags

Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Electronic Notes in Theoretical Computer Science
Volume	194
Publication date	2007
Pages	3-22
Publication status	Published - 2007
Event	5th International Workshop on Security Issues in Concurrency - Lisboa, Portugal Duration: 3 Sept 2007 → 3 Sept 2007

Conference	5th International Workshop on Security Issues in Concurrency
Country/Territory	Portugal
City	Lisboa
Period	03/09/2007 → 03/09/2007

OpenUrl availability

@inproceedings{0933879f00a743a5a6488c69f5761dff,

title = "Detecting and Preventing Type Flaws: a Control Flow Analysis with Tags",

author = "Chiara Bodei and Pierpaolo Degano and Han Gao and Linda Brodo",

year = "2007",

language = "English",

volume = "194",

pages = "3--22",

booktitle = "Electronic Notes in Theoretical Computer Science",

note = "5th International Workshop on Security Issues in Concurrency ; Conference date: 03-09-2007 Through 03-09-2007",

}

TY - GEN

T1 - Detecting and Preventing Type Flaws: a Control Flow Analysis with Tags

AU - Bodei, Chiara

AU - Degano, Pierpaolo

AU - Gao, Han

AU - Brodo, Linda

PY - 2007

Y1 - 2007

M3 - Article in proceedings

VL - 194

SP - 3

EP - 22

BT - Electronic Notes in Theoretical Computer Science

T2 - 5th International Workshop on Security Issues in Concurrency

Y2 - 3 September 2007 through 3 September 2007

ER -