Technical Reports

The ICICS/CS Reading Room


UBC CS TR-82-07 Summary

Unification Based Conditional Binding Constructs, September 1982 Harvey Abramson

The unification algorithm, heretofore used primarily in the mechanization of logic, can be used in applicative programming languages as a pattern matching tool. Using SASL (St. Andrews Static Language) as a typical applicative programming language, we introduce several unification based conditional binding (ie, pattern matching) constructs and show how these can promote clarity and conciseness of expression in applicative languages, and we also indicate some applications of these constructs. In particular, we present an interpreter for SASL functions defined by recursion equations.


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.