Interfaces for stack inspection

DOI10.1017/S0956796804005465MaRDI QIDQ4676154zbMATH OpenFDO

Authors

Publication date 3 May 2005

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796804005465

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A simple semantics and static analysis for stack inspection
• Stack inspection
• Security-aware program transformations.
• Stack-based access control and secure information flow
• scientific article; zbMATH DE number 1956543

Cited in

(4)

• scientific article; zbMATH DE number 1956543 (Why is no real title available?)
• A simple semantics and static analysis for stack inspection
• Stack inspection
• Security-aware program transformations.

This page was built for publication: Interfaces for stack inspection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4676154)