Validating Library Usage Interactively
No abstract available.
Related papers
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs ECOOP 2018
- DrPy: Pinpointing Inefficient Memory Usage in Multi-Layer Python Applications CGO 2024
- Neon: A Library for Language Usage Analysis SLE 2008
- Local policies for resource usage analysis TOPLAS 2009
- A graph-based approach to API usage adaptation OOPSLA 2010
- APIfix: output-oriented program synthesis for combating breaking changes in libraries OOPSLA 2021
- Fast type reconstruction for dynamically typed programming languages DLS 2009
- EMTST: Engineering the Meta-theory of Session Types TACAS 2020