Skip to main content

High Precision Sharing Analysis

King, Andy (1994) High Precision Sharing Analysis. Journal of Programming Languages, 2 (1). pp. 149-191. ISSN 0963-9306. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:37587)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)

Abstract

Accurate variable sharing information is crucial both in the automatic

Analysis for variable sharing and term-dependence is thus an

dependencies between the variables of a logic program. In this paper,

information to a much higher degree of accuracy than that of previous

elegantly encode structural properties of substitutions. This enables

be better exploited. The approach does not define a single analysis,

existing analyses and deriving new analyses. Furthermore, in addition

analysis. To illustrate, several new and powerful analyses are

usefulness of the analyses is demonstrated with examples.

Item Type: Article
Subjects: A General Works
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Andy King
Date Deposited: 12 Dec 2013 20:58 UTC
Last Modified: 15 Feb 2020 04:05 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/37587 (The current URI for this page, for reference purposes)
King, Andy: https://orcid.org/0000-0001-5806-4822
  • Depositors only (login required):