Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization
In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from da
Elements of Programming provides a different understanding of programming than is presented elsewhere. Its major premise is that practical programming, like oth