Function definitions in term rewriting and applicative programming

Chilukuri K. Mohan, Mandayam K. Srivas

Research output: Contribution to journalArticlepeer-review

3 Scopus citations


The frameworks of unconditional and conditional Term Rewriting and Applicative systems are explored with the objective of using them for defining functions. In particular, a new operational semantics, Tue-Reduction, is elaborated for conditional term rewriting systems. For each framework, the concept of evaluation of terms invoking defined functions is formalized. We then discuss how it may be ensured that a function definition in each of these frameworks is meaningful, by defining restrictions that may be imposed to guarantee termination, unambiguity, and completeness of definition. The three frameworks are then compared, studying when a definition may be translated from one formalism to another.

Original languageEnglish (US)
Pages (from-to)186-217
Number of pages32
JournalInformation and Control
Issue number3
StatePublished - Dec 1986
Externally publishedYes

ASJC Scopus subject areas

  • General Engineering


Dive into the research topics of 'Function definitions in term rewriting and applicative programming'. Together they form a unique fingerprint.

Cite this