A Semantics for Context-Sensitive Reduction Semantics
No abstract available.
Related papers
- Context-Sensitive Dynamic Partial Order Reduction CAV 2017
- Local Constraints in the Syntax and Semantics of Programming Languages POPL 1978
- Monadic abstract interpreters PLDI 2013
- Defunctionalized interpreters for programming languages ICFP 2008
- Giving semantics to program-counter labels via secure effects POPL 2021
- A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing SLE 2017
- Adaptive Online Context-Sensitive Inlining CGO 2003
- Interprocedural slicing of multithreaded programs with applications to Java TOPLAS 2006