Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-319-03542-0_6 | APLAS |
Field | DocType | Citations |
Programming language,Abstraction,Inference,Computer science,Static analysis,Copying,Theoretical computer science,Heap (data structure),Invariant (mathematics),Recursive functions | Conference | 1 |
PageRank | References | Authors |
0.36 | 9 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Holger Siegel | 1 | 11 | 1.92 |
| Bogdan Mihaila | 2 | 27 | 2.42 |
| Axel Simon | 3 | 168 | 13.32 |