King, Andy (1995) Share x Free Revisited. University of Kent, School of Computing, University of Kent, Canterbury, UK (KAR id:21294)
PDF
Language: English |
|
Download this file (PDF/323kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader |
Abstract
Analyses for possible variable sharing and definite freeness are important both in the automatic parallelisation and in the optimisation of sequential logic programs. In this paper, a new efficient approach to analysis is described which can infer sharing and freeness information to an unusually high degree of accuracy. The analysis exploits a confluence property of the unification algorithm to split the analysis into two distinct phases. The two phase analysis improves efficiency by enabling each phase of the analysis to manipulate relatively simple data-structures. The precision follows from the combination of domains. The analysis propagates groundness with the accuracy of sharing groups and yet infers sharing and freeness to a precision which exceeds that of a normal freeness analysis. High precision compoundness information can be derived too. The usefulness of the analysis is demonstrated with worked examples. Correctness is formally proven.
Item Type: | Research report (external) |
---|---|
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: | 24 Aug 2009 18:34 UTC |
Last Modified: | 05 Nov 2024 09:59 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/21294 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):