Foundations of Computer Science C Edition Book Aho Ullman 1995

The authors' treatment of data structures in Data Structures and Algorithms is unified by an informal notion of abstract data types, allowing readers to compare different implementations of the same concept. Algorithm design techniques are also stressed and basic algorithm analysis is covered. Most of the programs are written in Pascal.

Data Structures and Algorithms [Book]

2020 Turing Award

20 Best Compiler Books of All Time - BookAuthority

PDF) Teaching the compilers course

References - Building High Integrity Applications with SPARK

Alfred Aho Wins the 2020 ACM Turing Award

resources-of-learning/#cs-foundations.md at master · taogen-docs/resources-of-learning · GitHub

Foundations of Computer Science: C Edition

Temporal Logics in Computer Science

Foundations of Computer Science: C Edition (Principles of Computer Science.

Foundations of Computer Science C Edition Book Aho Ullman 1995 Freeman Company

Alfred AHO, Lawrence Gussman Professor, PhD, Princeton University, Columbia University, NY, CU, Department of Computer Science