Pair-Sharing Analysis of Object-Oriented Programs

Abstract

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

Topics

Figures and Tables

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

Statistics

051015'06'07'08'09'10'11'12'13'14'15'16'17'18
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