Name
Title | ||
|---|---|---|
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). |
Year | Venue | Field |
|---|---|---|
2017 | TACAS | Abstraction,Programming language,Computer science,Theoretical computer science,Predicate (grammar),Memoization |
DocType | Citations | PageRank |
Conference | 1 | 0.35 |
References | Authors | |
0 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Pavel Andrianov | 1 | 1 | 0.69 |
| Karlheinz Friedberger | 2 | 17 | 3.33 |
| Mikhail Mandrykin | 3 | 17 | 4.08 |
| Vadim Mutilin | 4 | 32 | 5.26 |
| Anton Volkov | 5 | 1 | 0.35 |