SICP（Structure and Interpretation of Computer Programs）是一本经典 […]

程序的形式化证明是指使用形式化方法来证明程序的正确性。其中，形式化方法是指在数学和逻辑基础上建立起来的，一套精确、严格的 […]

逻辑编程（logic programming）基础。理解并实现一个类似 Prolog 的简单逻辑编程语言。由此从根本上理 […]

实现一个微型编译器可以是一个很有趣的项目。以下是一个简单的示例，演示如何使用“自动 CPS 变换”的思想来实现一个微型编 […]

自动CPS变换是一种编译技术，可以将任何程序自动转换成continuation-passing style（CPS）形式 […]

call/cc是Scheme语言中的一个非常强大的操作符，它能够让程序在任意时刻保存当前的运行状态，并把这个状态保存下来 […]

密码学是一门复杂的学科，但是你可以通过自学掌握它的基本概念和技能。以下是你需要掌握的一些基本概念和技能： 总之，密码学是 […]

计算机科学基础班是计算机科学专业的一个入门课程，旨在为初学者提供计算机科学领域的基本概念、理论和实践技能。这门课程通常包 […]

使用 CPS 实现程序的并发执行。根据 continuation 这个统一的程序语言概念，理解操作系统的进程，线程，以及 […]

CPS（continuation-passing style）变换是一种编程语言中的转换技术，它可以将一个函数的执行结果 […]