Home Publications

A Simple Semantics and Static Analysis for Stack Inspection

Research Area: Uncategorized Year: 2013
Type of Publication: In Proceedings
  • Banerjee, Anindya
  • Naumann, David A.
Volume: 129
Book title: Festschrift for Dave Schmidt
Series: EPTCS Pages: 284-308
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