论文部分内容阅读
由于FFP语言中存在着非严格(non-strict)函数,所以用紧迫计算(eager evaluation)方式计算非严格函数,不仅降低了执行效率,而且还可能导致计算失败.为此,本文又提出了几个在FCC中实现对某些非严格函数进行惰性计算的归约规则,并在Micro-VAX3500上比较了用惰性计算的方式和用紧迫计算的方式来计算一个非严格函数的执行效率.