Resource Bound Certification for a Tail-Recursive Virtual Machine
No abstract available.
Related papers
- Tail call elimination and data representation for functional languages on the Java virtual machine CC 2018
- Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine APLAS 2009
- Resource Bound Certification POPL 2000
- A tail-recursive machine with stack inspection TOPLAS 2004
- Tail Recursion without Space Leaks JFP 1992
- Quantitative Bounds on Resource Usage of Probabilistic Programs OOPSLA 2024
- Compositional certified resource bounds PLDI 2015
- Automated Tail Bound Analysis for Probabilistic Recurrence Relations CAV 2023