Stack inspection
- 1 January 2002
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (1) , 307-318
- https://doi.org/10.1145/503272.503301
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Tail call elimination on the Java Virtual MachineElectronic Notes in Theoretical Computer Science, 2001
- Static Analysis for Stack InspectionElectronic Notes in Theoretical Computer Science, 2001
- Syntactic type abstractionACM Transactions on Programming Languages and Systems, 2000
- SAFKASIACM Transactions on Software Engineering and Methodology, 2000
- Trust in the λ-calculusJournal of Functional Programming, 1997
- Full Abstraction in the Lazy Lambda CalculusInformation and Computation, 1993
- Notions of computation and monadsInformation and Computation, 1991
- The Confused DeputyACM SIGOPS Operating Systems Review, 1988
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975