2 search results - page 1 / 1 » Faithful Translations between Polyvariant Flows and Polymorp... |
ESOP
2000
Springer
13 years 8 months ago
2000
Springer
ICFP
2004
ACM
14 years 4 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...