Pair-Sharing Analysis of Object-Oriented Programs


Pair-sharing analysis of object-oriented programs determines<lb>those pairs of program variables bound at run-time to overlapping data<lb>structures. This information is useful for program parallelisation and<lb>analysis. We follow a similar construction for logic programming and<lb>formalise the property, or abstract domain, Sh of pair-sharing. We prove<lb… (More)
DOI: 10.1007/11547662_22


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.


Citations per Year

63 Citations

Semantic Scholar estimates that this publication has 63 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics