@第{zbMATH07290018条，作者={卓、西龙和张、陈毅}，Title={{TFA}：为{Java}}提供一个高效而精确的虚拟方法调用解析，FJournal={计算的形式方面}，Journal＝{正式Asp.Comput.}，ISSN={0934-5043}，体积={32}，数字={4-6}，页码={395--416}，年份={2020年}，语言={英语}，DOI={10.1007/s00165-020-00518-z}，关键词={68N15,68N19}，zbMATH={7290018}，Zbl={1458.68036}}