Supporting Explicit Disambiguation of Multi-Methods
No abstract available.
Related papers
- On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs PLDI 2001
- Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation PLDI 2026
- Parsing expression grammars made practical SLE 2015
- YaskSite: Stencil Optimization Techniques Applied to Explicit ODE Methods on Modern Architectures CGO 2021
- Runtime pointer disambiguation OOPSLA 2015
- Incremental Analysis of real Programming Languages PLDI 1997
- Static Type Checking of Multi-Methods OOPSLA 1991
- Predicate abstraction and refinement for verifying multi-threaded programs POPL 2011