English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Completeness results for basic narrowing in non-copying implementations

Krishna Rao, M. R. K. (1996). Completeness results for basic narrowing in non-copying implementations. In M. Maher (Ed.), Logic Programming (pp. 393-407). Cambridge, USA: MIT Press.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABC9-7 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABCA-5
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Krishna Rao, M. R. K.1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: Narrowing and rewriting play an important role in giving the operational semantics of languages that integrate functional and logic programming. These two operations are usually implemented using tree representation of terms and atoms. Such implementations do not allow sharing of similar structures. In contrast to this, implementations which use (directed acyclic) graph representations of terms and atoms allow sharing of similar structures. Such sharing saves space and avoids repetition of computations. Term graph rewriting is one of the nice models proposed in the literature to facilitate sharing of similar structures. In this paper, we study completeness of basic narrowing in term graph rewriting. Our results show that term graph rewriting not only improves efficiency but even facilitates more general results on the completeness of basic narrowing than the results known in term rewriting (which use tree representations)

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121996
 Publication Status: Issued
 Pages: -
 Publishing info: Cambridge, USA : MIT Press
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519557
Other: Local-ID: C1256104005ECAFC-87479DE48550EBADC12564180048C463-KrishnaRao96b
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Bonn, Germany
Start-/End Date: 1996

Legal Case

show

Project information

show

Source 1

show
hide
Title: Logic Programming
Source Genre: Proceedings
 Creator(s):
Maher, Michael, Editor
Affiliations:
-
Publ. Info: Cambridge, USA : MIT Press
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 393 - 407 Identifier: ISBN: 0-262-63173-3

Source 2

show
hide
Title: JICSLP
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -