Programming Languages and Systems

Discover the intricate world of programming languages and systems with Programming Languages and Systems by Xinyu Feng. Published in 2015 by Springer International Publishing AG, this comprehensive paperback edition spans 506 pages and delves into both foundational and practical aspects of programming. The book is meticulously organized into topical sections covering essential subjects such as compilers, separation logic, static analysis, abstract interpretation, Hoare logic, types, functional programming, semantics, model checking, and program analysis. Each section provides valuable insights, making it an indispensable resource for students and professionals alike. Enhance your understanding of programming languages and systems with this authoritative guide, perfect for anyone looking to deepen their knowledge in this dynamic field.