捣固机

TAMPR(Transformation Assisted Multiple Program Realization System)是世界上最早的转换系统之一。TAMPR通过重写规则支持程序转换。通过一组重写规则,将程序的抽象语法树通过穷举应用转化为规范形式。许多这样的规范化可以通过顺序组合来组合。这种顺序组合为控制规则的应用提供了一种简单的机制。该系统已应用于包括LINPACK在内的多个数值软件包的推导。