Principles of Staged Static+Dynamic Partial Analysis
No abstract available.
Related papers
- The benefits and costs of DyC's run-time optimizations TOPLAS 2000
- Building Dynamic System Call Sandbox with Partial Order Analysis OOPSLA 2023
- Static analysis of multi-staged programs via unstaging translation POPL 2011
- Multi-stage programming in the large with staged classes GPCE 2020
- Staged selective parser combinators ICFP 2020
- A multi-stage language with intensional analysis GPCE 2006
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages JFP 2009
- Specialization through dynamic staging GPCE 2014