The Spotlight Principle
Abstract elided by the publisher.
Related papers
- Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach OOPSLA 2024
- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions CAV 2015
- Foundations and Tools for the Static Analysis of Ethereum Smart Contracts CAV 2018
- Safe and Principled Language Interoperation ESOP 1999
- Principles of Staged Static+Dynamic Partial Analysis SAS 2022
- From principles to programming languages (and back) POPL 2013
- Taming context-sensitive languages with principled stateful parsing SLE 2016
- Principles of Inverse Computation in a Functional Language APLAS 2000