English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Some Characteristics of Strong Innermost Normalization

Krishna Rao, M. R. K. (1996). Some Characteristics of Strong Innermost Normalization. In M. Wirsing, & M. Nivat (Eds.), Algebraic Methodology and Software Technology (pp. 406-420). Berlin, Germany: Springer.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AC0E-7 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-2B34-8
Genre: Conference Paper

Files

show Files

Locators

show
hide
Locator:
https://rdcu.be/dvCo2 (Publisher version)
Description:
-
OA-Status:
Not specified

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: A term rewriting system is {\em strongly innermost
normalizing } if every innermost derivation of it is
of finite length. This property is very important in
the integration of functional and logic programming
paradigms. Unlike termination, strong innermost
normalization is not preserved under subsystems, i.e.,
every subsystem of a strongly innermost normalizing need
not be strongly innermost normalizing. Preservation of a
property under subsystems is important in analyzing
systems in a modular fashion. In this paper, we identify
a few classes of {\trs}s which enjoy this property.
These classes are of particular interest in studying modularity
of composable and hierarchical combinations.
It is also proved that the choice of the innermost redex
to be reduced at any step has no bearing on termination
(finiteness) of innermost derivations. It may be noted that
such selection invariance does not hold for outermost
derivations. The proof techniques used are novel and involve
oracle based reasoning --which is very sparsely used in the
rewriting literature.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121996
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519532
Other: Local-ID: C1256104005ECAFC-6659CFEDC98EAEACC12564180045AE54-KrishnaRao96e
BibTex Citekey: Rao_AMAST96
DOI: 10.1007/BFb0014330
 Degree: -

Event

show
hide
Title: 5th International Conference on Algebraic Methodology and Software Technology
Place of Event: Munich, Germany
Start-/End Date: 1996-07-01 - 1996-07-05

Legal Case

show

Project information

show

Source 1

show
hide
Title: Algebraic Methodology and Software Technology
  Subtitle : 5th International Conference, AMAST '96
  Subtitle : AMAST 1996
Source Genre: Proceedings
 Creator(s):
Wirsing, Martin1, Editor
Nivat, Maurice2, Editor           
Affiliations:
1 External Organizations, ou_persistent22            
2 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 406 - 420 Identifier: ISBN: 978-3-540-61463-0

Source 2

show
hide
Title: Lecture Notes in Computer Science
  Abbreviation : LNCS
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 1101 Sequence Number: - Start / End Page: - Identifier: -