TY - JOUR
T1 - Function definitions in term rewriting and applicative programming
AU - Mohan, Chilukuri K.
AU - Srivas, Mandayam K.
N1 - Funding Information:
supported by National Science Foundation Grant MCS8401624.
Funding Information:
This research has been supported by National Science Foundation Grant MCS8401624. We are grateful to Jean Luc Remy (CRIN, Nancy) for several valuable suggestions and fruitful discussions. We thank Deepak Kapur (GE, Schenectady), Jieh Hsiang (SUNY, Stony Brook) and the referees for many useful comments.
PY - 1986/12
Y1 - 1986/12
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0022862842&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0022862842&partnerID=8YFLogxK
U2 - 10.1016/S0019-9958(86)80010-9
DO - 10.1016/S0019-9958(86)80010-9
M3 - Article
AN - SCOPUS:0022862842
SN - 0019-9958
VL - 71
SP - 186
EP - 217
JO - Information and Control
JF - Information and Control
IS - 3
ER -