scientific article; zbMATH DE number 1956543

zbMATH Open1032.68555MaRDI QIDQ4417880FDOQ4417880

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (11)

• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
• Stack-based typed assembly language
• Title not available (Why is that?)
• Optimizing the stack size of recursive functions
• 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)