Program Analysis (an Appetizer)
by Flemming Nielson, Hanne Riis Nielson
Publisher: arXiv.org 2020
Number of pages: 208
Description:
This book is an introduction to program analysis that is meant to be elementary. Rather than using flow charts as the model of programs, the book uses program graphs as the model of programs. In our experience this makes the underlying ideas more accessible to our computer science and computer engineering students.
Download or read it online for free here:
Download link
(4.6MB, PDF)
Similar books
Type Systems for Programming Languagesby Robert Harper
Provides an account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
(18757 views)
Partial Evaluation and Automatic Program Generationby Neil D. Jones, Carsten K. Gomard, Peter Sestoft - Prentice Hall
The book about partial evaluation, a program optimization technique also known as program specialization. It presents principles for constructing partial evaluators for a variety of programming languages, and gives references to the literature.
(19111 views)
Understanding Programming Languagesby Monti Ben-Ari - John Wiley & Sons
The book explains what alternatives are available to the language designer, how language constructs should be used for safety and readability, how language constructs are implemented, the role of language in expressing and enforcing abstractions.
(19510 views)
Structure and Interpretation of Computer Programsby Harold Abelson, Gerald Jay Sussman, Julie Sussman - McGraw-Hill
The book teaches how to program by employing the tools of abstraction and modularity. The central philosophy is that programming is the task of breaking large problems into small ones. You will learn how to program and how to think about programming.
(20813 views)