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
The Theory of Languages and Computationby Jean Gallier, Andrew Hicks - University of Pennsylvania
From the table of contents: Automata; Formal Languages (A Grammar for Parsing English, Context-Free Grammars, Derivations and Context-Free Languages, Normal Forms for Context-Free Grammars, Chomsky Normal Form, ...); Computability; Current Topics.
(6799 views)
Principles of Programming Languagesby Mira Balaban - Ben-Gurion University of the Negev
This course is about building computational processes. We need computational processes for computing functions. The means for performing computational processes are programs. The emphasis is on programming languages and their properties.
(21212 views)
Formal Language Theory for Natural Language Processingby Shuly Wintner - ESSLLI
This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.
(8970 views)
Linkers and Loadersby John R. Levine - Morgan Kaufmann
The author presents clear practical advice to help you create faster, cleaner code. You'll learn to avoid the pitfalls associated with Windows DLLs, take advantage of the performance-improving techniques supported by many modern linkers, etc.
(10575 views)