CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis.
| Autor: | Friedberger, Karlheinz |
|---|---|
| Zdroj: | Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p912-915, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|