6 search results - page 2 / 2 » Mining relational data through correlation-based multiple vi... |
115
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...