A Tail-Recursive Semantics for Stack Inspections
- 28 February 2003
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- An operational semantics of Java 2 access controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Stack inspectionPublished by Association for Computing Machinery (ACM) ,2002
- Tail call elimination on the Java Virtual MachineElectronic Notes in Theoretical Computer Science, 2001
- A Systematic Approach to Static Access ControlLecture Notes in Computer Science, 2001
- Modeling an Algebraic StepperLecture Notes in Computer Science, 2001
- Static enforcement of security with typesACM SIGPLAN Notices, 2000
- Compiling standard ML to Java bytecodesPublished by Association for Computing Machinery (ACM) ,1998
- Revised 5 report on the algorithmic language schemeACM SIGPLAN Notices, 1998
- Proper tail recursion and space efficiencyPublished by Association for Computing Machinery (ACM) ,1998
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975