Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method
No abstract available.
Related papers
- Scalable context-sensitive flow analysis using instantiation constraints PLDI 2000
- The role of commutativity in constraint propagation algorithms TOPLAS 2000
- XSnippet: mining For sample code OOPSLA 2006
- wCQ: a fast wait-free queue with bounded memory usage PPoPP 2022
- A generic annotation inference algorithm for the safety certification of automatically generated code GPCE 2006
- A parallel algorithm for global states enumeration in concurrent systems PPoPP 2015
- Comprehensive path-sensitive data-flow analysis CGO 2008
- Refinement of path expressions for static analysis POPL 2019