{"title":"Andrew W. Appel","description":null,"products":[{"product_id":"program-logics-for-certified-compilers-cambridge-university-press-9781107048010-andrew-w-appel","title":"Program Logics for Certified Compilers","description":"\u003cp\u003eDiscover the intricate world of compiler design with \u003cstrong\u003eProgram Logics for Certified Compilers\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2014, this comprehensive hardback spans 472 pages and is an essential resource for graduate students delving into the realms of practical and theoretical separation logic.\u003c\/p\u003e \n\n\u003cp\u003eThis book provides an in-depth exploration of verification techniques in Hoare and separation logics, complemented by insightful case studies and the innovative Verifiable C program logic. On the theoretical front, Appel delves into complex topics such as separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C, equipping readers with the knowledge to navigate advanced concepts in logic programming.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a student or a professional in the field, \u003cstrong\u003eProgram Logics for Certified Compilers\u003c\/strong\u003e is a pivotal addition to your library, enhancing your understanding of compiler verification and logic.\u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52231643464022,"sku":"9781107048010","price":100.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781107048010.jpg?v=1767748605"},{"product_id":"modern-compiler-implementation-in-java-cambridge-university-press-9780521820608-andrew-w-appel","title":"Modern Compiler Implementation in Java","description":"\u003cp\u003eDiscover the essential guide to compiler design with \u003cstrong\u003eModern Compiler Implementation in Java\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e. This comprehensive textbook, now in its \u003cstrong\u003e2nd Revised edition\u003c\/strong\u003e, spans \u003cstrong\u003e512 pages\u003c\/strong\u003e and delves into all phases of modern compiler construction. \u003c\/p\u003e \u003cp\u003eAppel expertly covers a range of topics from the fundamentals of compilation to advanced techniques such as SSA form, code generation, register allocation, loop scheduling, and optimization for cache-memory hierarchies. Whether you are a student or a seasoned programmer, this book is an invaluable resource for understanding compilers for imperative, functional, and object-oriented languages. Enhance your programming skills and deepen your knowledge of compilers with this authoritative text that bridges theory and practical application. \u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52235289919830,"sku":"9780521820608","price":86.09,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521820608.jpg?v=1767755192"},{"product_id":"modern-compiler-implementation-in-c-cambridge-university-press-9780521607650-andrew-w-appel","title":"Modern Compiler Implementation in C","description":"\u003cp\u003eDiscover the intricacies of compiler design with \u003cstrong\u003eModern Compiler Implementation in C\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e. Published by Cambridge University Press in 2004, this comprehensive guide spans 556 pages, offering an in-depth exploration of all phases of modern compiler construction. Appel meticulously covers essential techniques in code generation and register allocation, making it an invaluable resource for those interested in imperative, functional, and object-oriented programming languages. Whether you are a student or a professional in the field of software development, this book will enhance your understanding of compilers and interpreters, providing you with the tools needed to create efficient and effective software solutions. Dive into the world of programming languages with this essential text, perfect for anyone looking to deepen their knowledge of compiler technology.\u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52235290411350,"sku":"9780521607650","price":82.45,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521607650.jpg?v=1767755193"},{"product_id":"modern-compiler-implementation-in-ml-cambridge-university-press-9780521607643-andrew-w-appel","title":"Modern Compiler Implementation in ML","description":"\u003cp\u003eDiscover the intricacies of compiler design with \u003cstrong\u003eModern Compiler Implementation in ML\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2004. This comprehensive guide spans 552 pages, providing an in-depth exploration of all phases of a modern compiler. Delve into essential techniques in code generation and register allocation tailored for imperative, functional, and object-oriented programming languages. Whether you're a student, educator, or professional in the field of computer science, this book serves as an invaluable resource for understanding the complexities of compiler construction. Enhance your programming skills and deepen your knowledge of software development with this essential addition to your library.\u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52235290476886,"sku":"9780521607643","price":80.02,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521607643.jpg?v=1767755195"},{"product_id":"compiling-with-continuations-cambridge-university-press-9780521033114-andrew-w-appel","title":"Compiling with Continuations","description":"\u003cp\u003eDiscover the innovative techniques of compiler design with \u003cstrong\u003eCompiling with Continuations\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2007. This insightful book, spanning 272 pages, delves into the application of continuation-passing style as an intermediate representation, essential for executing optimizations and program transformations.\u003c\/p\u003e \n\n\u003cp\u003eWhether you are a compiler writer in the industry, an academic, or a student delving into programming language theory, this book is a must-have resource. Appel's expert insights will enhance your understanding of compilers and interpreters, making it a valuable addition to your library. Don't miss the chance to elevate your programming knowledge with this comprehensive guide!\u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52248988909910,"sku":"9780521033114","price":100.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521033114.jpg?v=1767775256"}],"url":"https:\/\/www.bookshop.ee\/collections\/andrew-w-appel.oembed","provider":"Bookshop","version":"1.0","type":"link"}