The Logic of Java Programming

The Logic of Java Programming is an advanced Java learning book by Ma Junchang, published by China Machine Press in 2018 as part of the "Java Core Technology Series." The author believes the difficulty of learning programming lies in the disconnect between theory and practice: classes on binary, data structures, and operating systems are often abstract and dry, while learning a specific language often means learning only syntax and APIs, resulting in knowing how but not why. The book attempts to bridge the two, using Java as a sample to start from basic concepts, peel back layer by layer the implementation principles and design logic behind the language, and then return to applied practice. The book has six parts and 26 chapters. Part I (Chapters 1–2) covers the basic execution flow and elements of programs and the binary representation behind data. Part II (Chapters 3–7) covers object orientation, including class fundamentals, inheritance and polymorphism, interfaces and abstract classes, exceptions, and common base classes. Part III (Chapters 8–12) covers generics and containers, including lists, queues, Map and Set, heaps and priority queues, and data structures and algorithms. Part IV (Chapters 13–14) covers file processing, from byte streams and character streams to random access, memory-mapped files, and serialization. Part V (Chapters 15–20) covers concurrency, including thread fundamentals, atomic variables, explicit locks, concurrent containers, and asynchronous task execution services. Part VI (Chapters 21–26) covers dynamic and declarative programming topics such as reflection, annotations, dynamic proxies, the class loading mechanism, regular expressions, and Java 8 functional programming. The book's distinguishing feature is that beyond explaining usage it asks "why was it designed this way," and with analysis of JDK source code it helps readers build a knowledge map from language fundamentals to high-level frameworks. It is suitable for systematic study by programmers who can already write Java code and wish to solidify their foundations and understand underlying mechanisms.