Manipulation Algorithms for K*BMDs
No abstract available.
Related papers
- Fusing Direct Manipulations into Functional Programs POPL 2024
- Bidirectional evaluation with direct manipulation OOPSLA 2018
- Deciding memory safety for single-pass heap-manipulating programs POPL 2020
- Precise and compact modular procedure summaries for heap manipulating programs PLDI 2011
- Verifying safety properties of concurrent heap-manipulating programs TOPLAS 2010
- Data-Parallel String-Manipulating Programs POPL 2015
- Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations POPL 2024
- Efficient manipulation of binary data using pattern matching JFP 2006