Driving was introduced as a program transformation technique by Valentin Turchin in some papers around 1980. It was intended for the programming language REFAL and used in metasystem transitions based on super compilation. In this paper we present one version of driving for a more conventional lisp-like language. Our aim is to extract a simple notion of driving and show that even in this tamed ...

Narrowing basically extends rewriting by allowing free variables in terms and by replacing matching with unification. As a consequence, the search space of narrowing becomes usually infinite, as in logic programming. In this paper, we introduce the use of some operators that allow one to always produce a finite graph that still represents all the narrowing derivations. Furthermore, we introduce...

We introduce Higher-Order Rewrite Systems (HRS) which extend term rewriting to-terms. HRS can describe computations on arbitrary terms with bound variables. We show that rewriting is closely related to undirected equational reasoning , and extend three connuence results from term rewriting to HRS: the critical pair lemma by Knuth and Bendix, connuence of rewriting modulo equations a la Huet, an...

Learning the joint probability of random variables (RVs) is cornerstone statistical signal processing and machine learning. However, direct nonparametric estimation for high-dimensional in general impossible, due to curse dimensionality. Recent work has proposed recover mass function (PMF) an arbitrary number RVs from three-dimensional marginals, leveraging algebraic properties low-rank tensor ...