Name
Year | Venue | Keywords |
|---|---|---|
2010 | Clinical Orthopaedics and Related Research | type inference |
Field | DocType | Volume |
Programming language,Refinement calculus,Abstract interpretation,Computer science,Type inference,Theoretical computer science | Journal | abs/1004.2 |
Citations | PageRank | References |
3 | 0.46 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ranjit Jhala | 1 | 2183 | 111.68 |
| Rupak Majumdar | 2 | 3401 | 220.08 |
| Andrey Rybalchenko | 3 | 1439 | 68.53 |