编译器递归测试 ，是由计算机科学家高德纳提出，作为评价ALGOL 60编程语言实现的手段。该测试的目的是识别出能够正确实现“递归和非本地引用”的编译器。（只有少数的ALGOL 60解释器能够正确处理递归和非本地引用的，所以我认为搞一段小程序去测试编译器的递归功能应该挺有价值的。因此我写了如下的简单代码，它可以区分“小不点”编译器和“大人”编译器。）
Knuth的例子.beginreal procedure A (k, x1, x2, x3, x4, x5);value k;