Stack inspection

DOI10.1145/503272.503301zbMath1323.68115OpenAlexW2104152314MaRDI QIDQ5178914

Andrew D. Gordon, Cédric Fournet

Publication date: 17 March 2015

Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/503272.503301

Mathematics Subject Classification ID

Cryptography (94A60) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Execution monitoring enforcement under memory-limitation constraints ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

This page was built for publication: Stack inspection