Skip to main content

A Synergistic Analysis for Sharing and Groundness which traces Linearity

King, Andy (1994) A Synergistic Analysis for Sharing and Groundness which traces Linearity. In: Sannella, Don, ed. Programming Languages and Systems — ESOP '94 5th European Symposium on Programming. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 363-378. ISBN 978-3-540-57880-2. E-ISBN 978-3-540-48376-2. (doi:10.1007/3-540-57880-3_24) (KAR id:21205)

Abstract

Accurate variable sharing information is crucial both in the automatic parallelisation and in the optimisation of sequential logic programs. Analysis for possible variable sharing is thus an important topic in logic programming and many analyses have been proposed for inferring dependencies between the variables of a program, for instance, by combining domains and analyses. This paper develops the combined domain theme by explaining how term structure, and in particular linearity, can be represented in a sharing group format. This enables aliasing behaviour to be more precisely captured; groundness information to be more accurately propagated; and in addition, refines the tracking and application of linearity. In practical terms, this permits aliasing and groundness to be inferred to a higher degree of accuracy than in previous proposals and also can speed up the analysis itself. Correctness is formally proven.

Item Type: Book section
DOI/Identification number: 10.1007/3-540-57880-3_24
Uncontrolled keywords: Logic Program; Logic Programming; Shared Variable; Unification Algorithm; Abstract Interpretation
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Andy King
Date Deposited: 13 Aug 2009 21:29 UTC
Last Modified: 16 Nov 2021 09:59 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21205 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.