The problem of tail calls and security on the JVM

Here are two papers that address the problem of tail calls and security on the JVM:

• A Tail-Recursive Semantics for Stack Inspections
• A Tail-Recursive Machine with Stack Inspection

(via Jens via Debasish)