English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 DetailsSummary
  Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems

Krishna Rao, M. R. K. (1996). Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems. Acta Informatica, 33(6), 595-606.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AC04-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AC05-A
Genre: Journal Article

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: Innermost-confluence is important in giving call-by-value and denotational semantics and outermost-confluence is important in giving call-by-need and lazy semantics of programs. In this paper, we give a few sets of sufficient conditions under which the properties of confluence, innermost-confluence and outermost-confluence coincide. Confluence and innermost-confluence coincide for weakly innermost normalizing overlay systems and confluence and outermost-confluence coincide for outermost normalizing left-linear overlay systems. In general, every weakly innermost (outermost) normalizing {\em confluent} system is {\em innermost (outermost) confluent} but the converse is not true.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121996
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 519577
Other: Local-ID: C1256104005ECAFC-9EB01320AACAE69CC1256418004C7D24-KrishnaRaoActaInformatica
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Acta Informatica
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 33 (6) Sequence Number: - Start / End Page: 595 - 606 Identifier: ISSN: 0001-5903