Reduction Machine Implementation Technique for DDFP Language

• DDFP语言的归约机实现技术