《实用程序设计理论》正文部分共分为12章，系统地介绍了一种程序设计理论，包括基本理论、基本数据结构、函数理论、程序理论、程序设计语言、递归定义、理论设计与实现、并发和交互等内容，《实用程序设计理论》的内容既系统、丰富、连贯，又非常精练，浅显易懂，另外，《实用程序设计理论》还附有400多道有趣的练习题（全部集中在第10章）。
《实用程序设计理论》可作为高等院校计算机科学专业的高年级本科生和研究生程序理论课程的教材，也可作为对软件形式化方法有兴趣的研究人员和技术人员的参考书。