A hands-on approach to understanding and building compilers.
A hands-on approach to understanding and building compilers.
Compilers are notoriously some of the most difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows students to write every single line of code themselves. Essentials of Compilation guides the reader in constructing their own compiler for a small but powerful programming language, adding complex language features as the book progresses. Jeremy Siek explains the essential concepts, algorithms, and data structures that underlie modern compilers and lays the groundwork for future study of advanced topics. Already in wide use by students and professionals alike, this rigorous but accessible book invites readers to learn by doing.
Deconstructs the challenge of compiler construction into bite-sized pieces Enhances learning by connecting language features to compiler design choices Develops understanding of how programs are mapped onto computer hardware Learn-by-doing approach suitable for students and professionals Proven in the classroom Extensive ancillary resources include source code and solutions
By:
Jeremy G. Siek Imprint: MIT Press Country of Publication: United States Dimensions:
Height: 254mm,
Width: 178mm,
Weight: 567g ISBN:9780262047760 ISBN 10: 0262047764 Pages: 240 Publication Date:18 April 2023 Audience:
General/trade
,
ELT Advanced
Format:Hardback Publisher's Status: Active
Preface xi 1 Preliminaries 1 2 Integers and Variables 13 3 Register Allocation 35 4 Booleans and Conditionals 57 5 Loops and Dataflow Analysis 83 6 Tuples and Garbage Collection 97 7 Functions 127 8 Lexically Scoped Functions 145 9 Dynamic Typing 161 10 Gradual Typing 179 11 Generics 199 A Appendix 211 References 215 Index 223
Jeremy G. Siek is professor of computer science at Indiana University and author of The Boost Graph Library. He invented gradual typing, a type system that integrates both dynamic and static typing in the same programming language.