A Simple Semantics and Static Analysis for Stack Inspection
Research Area: | Uncategorized | Year: | 2013 |
---|---|---|---|
Type of Publication: | In Proceedings | ||
Authors: |
|
||
Volume: | 129 | ||
Book title: | Festschrift for Dave Schmidt | ||
Series: | EPTCS | Pages: | 284-308 |
BibTex: |
|||
Note: | PARTNERS: IMDEA
PROJECTS: NSF grant EIA-980635, Madrid Regi
onal Government MINECO Project TIN2009-14599-C03-
02 Desafios and EU NoE Project 256980 Nessos, NSF grants INT-9813854 and CNS-1228 930.
NOTIER
CITE(03/03/2014):0 |
||
[Bibtex] |