| Document Date: 2010-09-30 13:17:04
Open Document File Size: 153,91 KBShare Result on Facebook
City Orlando / Jose / Portland / Phoenix / Minneapolis / London / New York / Lattice / San Jose / / Company ACM Press / Microsoft / / Country United States / Canada / / / Facility University Avenue West Waterloo / / IndustryTerm simplest algorithm / propagation-based call graph construction algorithms / flow-insensitive algorithm / call site / function call site / type inference algorithm / benchmark algorithms / type inference algorithms / generic algorithms / call graph construction algorithms / / Organization MaxChildren / University of Waterloo / / Person David Grove / / / Position CPA / way CPA / Templates The CPA / Dot Operator CPA / original CPA / Dean / programmer / / ProgrammingLanguage C++ / / ProvinceOrState Minnesota / Oregon / Florida / California / New York / Arizona / Ontario / / PublishedMedium Lecture Notes In Computer Science / / Technology functional programming / Object-Oriented Programming / MaxChildren=2 The CPA algorithm / 1 4.3 Discussion The algorithm / type inference algorithms / java / propagation-based call graph construction algorithms / Cartesian Product Algorithm / RTA algorithm / benchmark algorithms / caching / type inference algorithm / flow-insensitive algorithm / 2.1 GHz Pentium processor / call graph construction algorithms / ACCURACY The CPA algorithm / simplest algorithm / CPA algorithm / 2.1 Prior Work Every type inference algorithm / / URL http /
SocialTag |
Type Inference Using the Cartesian Product Algorithm on a Dynamically Typed Language Steve Hanov University of Waterloo 200 University Avenue West Waterloo, Ontario, Canada N2L 3G1