King, Andy, Longley, Mark (1995) Abstract Matching Can Improve on Abstract Unification. University of Kent, School of Computing, University of Kent, Canterbury, UK (KAR id:21270)
PDF
Language: English |
|
Download this file (PDF/241kB) |
|
Request a format suitable for use with assistive technology e.g. a screenreader |
Abstract
Analyses for sharing and freeness are important in the optimisation and parallelisation of logic programs. By using suitable abstract analogs for concrete operations like renaming, restriction, unification and extension sharing and freeness analysis can be constructed from a standard fixed-point framework. Extension is required in the clause exit mechanisms and is typically formulated in terms of restriction and matching. Matching also arises as goal-head unification in normalised programs in which the (formal) arguments of each clause head are distinct variables. Abstract matching, however, is rarely given special attention and is usually implemented by abstract unification. This paper remedies this, contributing a series of useful, practical and formally-justified abstract matching algorithms for the popular domains Share, Share x Free and Share x Free x Lin The matching algorithms are both useful and important because they can outperform their corresponding unification algorithms in both speed and precision.
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: | 21 Aug 2009 19:09 UTC |
Last Modified: | 05 Nov 2024 09:59 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/21270 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):