A PosterioriSoundness for Non-deterministic Abstract Interpretations
No abstract available.
Related papers
- Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs POPL 1990
- Certified abstract machines for skeletal semantics CPP 2022
- Algorithms with polynomial interpretation termination proof JFP 2001
- Program Transformation with Metasystem Transitions JFP 1993
- Editor's Foreword to "Static Backward Slicing of Non-Deterministic Programs and Systems" TOPLAS 2018
- Deterministic parallel fixpoint computation POPL 2020
- Global value numbering using random interpretation POPL 2004
- Non-determinism analyses in a parallel-functional language JFP 2005