Tag Andrew W. Appel

Andrew W. Appel is a preeminent computer scientist and author, famous for his foundational, rigorous, and definitive textbooks on compiler construction and software verification.