scientific article; zbMATH DE number 1956543

MaRDI QIDQ4417880zbMATH OpenFDO

Authors J. C. Clements, Matthias Felleisen

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180022.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25)

Recommendations

• Security-aware program transformations.
• Stack inspection
• A simple semantics and static analysis for stack inspection
• scientific article; zbMATH DE number 2090845
• Interfaces for stack inspection

Cited in

(11)

• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
• Stack-based typed assembly language
• Optimizing the stack size of recursive functions
• scientific article; zbMATH DE number 2090845 (Why is no real title available?)
• Interfaces for stack inspection
• From Stack Traces to Lazy Rewriting Sequences
• Security-aware program transformations.
• Improving the lazy Krivine machine
• Memory-efficient tail calls in the JVM with imperative functional objects
• StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities
• Stack inspection

This page was built for publication:

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