自动CPS变换是一种编译技术，可以将任何程序自动转换成continuation-passing style（CPS）形式，从而方便程序在需要时进行状态保存和恢复。在这种形式下，函数不再直接返回结果，而是通过一个额外的continuation参数将结果返回给调用者。

自动CPS变换的实现需要使用到一些高级的编译技术，包括控制流分析、静态单赋值形式（SSA）转换、lambda演算等。具体来说，自动CPS变换的实现步骤如下：

1. 静态单赋值形式转换：将程序中的所有变量都转换成静态单赋值形式（SSA），也就是说每个变量在程序中只会被赋值一次。这样可以方便后续的控制流分析和转换。
2. 控制流分析：分析程序的控制流，将程序中的条件分支、循环等结构转换成无条件分支和goto语句。这样可以方便后续的转换和优化。
3. lambda演算转换：将程序中的函数转换成lambda演算形式，即将所有函数都转换成只有一个参数和一个返回值的形式。这样可以方便后续的CPS转换。
4. CPS转换：将程序中的所有函数都转换成CPS形式，也就是将每个函数都转换成接受一个额外的continuation参数的形式。同时，还需要在程序中添加一些额外的代码来保存和恢复程序的状态。
5. 代码生成：将转换后的程序重新生成为目标代码，可以是汇编代码或机器码等形式。

需要注意的是，自动CPS变换是一种相对较为复杂的编译技术，实现起来比较困难，同时也会对程序的性能和可读性产生一定的影响。因此，在实际应用中，应该根据实际情况慎重考虑是否使用自动CPS变换。同时，也需要掌握其他更为常用的编译技术，如静态分析、动态编译等。