Author: Zhuo, Xilong : Search

Applied Filters

People

Publications

Conferences

Publication Date

Past 5 years

2 Results for: Author: Zhuo, XilongEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,796,784 records)|Limit your search to The ACM Full-Text Collection (767,712 records)

Showing 1 - 2of2 Results

Select All

Export Citations Save to Binder

per page:

Recency

research-article
Open Access
November 2020
TFA: an efficient and precise virtual method call resolution for Java
- Xilong Zhuo,
- Chenyi Zhang
Formal Aspects of Computing (FAC), Volume 32, Issue 4-6Pages 395–416https://doi.org/10.1007/s00165-020-00518-z
Abstract
The problem of statically resolving virtual method calls in object-oriented (OO) programming languages has been a long standing challenge, often due to the overly complicated class hierarchy structures in modern OO programming languages such as ...
0
100
Metrics
Total Citations0
Total Downloads100
Last 12 Months56
Last 6 weeks9
View online with eReader
PDF
Article
November 2019
A Relational Static Semantics for Call Graph Construction
- Xilong Zhuo,
- Chenyi Zhang
Formal Methods and Software EngineeringPages 322–335https://doi.org/10.1007/978-3-030-32409-4_20
Abstract
The problem of resolving virtual method and interface calls in object-oriented languages has been a long standing challenge to the program analysis community. The complexities are due to various reasons, such as increased levels of class ...
0
Metrics
Total Citations0