Stem cia$ (all stems)
2 papers:
- SAC-2013-LiZSL #approach #graph #mining #named #novel
- WAVE-CIA: a novel CIA approach based on call graph mining (BL, QZ, XS, HL), pp. 1000–1005.
- FoSSaCS-2010-MiliusMS #recursion #semantics
- CIA Structures and the Semantics of Recursion (SM, LSM, DS), pp. 312–327.