SIGN IN
SIGN UP
Stack inspection: Theory and variants
Full Text:
Pdf
Buy this Article
Authors:
Cédric Fournet
Microsoft Research, Cambridge, United Kingdom
Andrew D. Gordon
Microsoft Research, Cambridge, United Kingdom
Published in:
· Journal
ACM Transactions on Programming Languages and Systems (TOPLAS)
TOPLAS Homepage
archive
Volume 25 Issue 3, May 2003
Pages 360 - 399
ACM
New York, NY
, USA
table of contents
doi>
10.1145/641909.641912
2003 Article
Bibliometrics
· Downloads (6 Weeks): 8
· Downloads (12 Months): 50
· Downloads (cumulative): 973
· Citation Count: 25
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
access control
contextual equivalence
equational reasoning
formal definitions and theory
language constructs and features
languages
operational semantics
security
security and protection
semantics of programming languages
specifying and verifying and reasoning about programs
stack inspection
studies of program constructs
theory
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder