Chapter 20: DCS
This chapter introduces the new language DCS that I am working on currently, where all functions are statically checked for termination.