Data flow analysis

What Hacker News says

1. CoastalCoderOct 2026
   You might be interested in the book "Data Flow Analysis" by Khedker et al.

   It's very compiler-focused, but it's one piece of the puzzle.

   thread
2. johnbernierJan 2023
   Hello, I do research in the area of program data-flow analysis. The theory of data-flow analysis has been extensively studied. Data Flow Analysis: Theory and Practice by Khedker, Sanyal, and Sathe is a reference textbook. This subject essentially studies how programs move data from one memory location to another.

   My work in this field has led me to search for new mathematical foundations for dataflow analysis. These foundations will abstract the concept and address a number of issues. Firstly, traditional dataflow analysis only works on explicitly defined product types like bit vectors. This provides a limited scope for the theory. To generalize from this, we can use partitions, which can model any type of information accessible by a function.

   Then to model dataflow relations in this new abstracted setting, I have suggested the use of the Sierpinski topos. Using this fundamental topos, we can model dataflow relations between information locations represented with the highest level of generality. This forms a broad generalisation of the notion of congruences from abstract algebra.

   Show morethread
3. DoofusOfDeathJun 2017
   Some of the most interesting books I've read in support of my software-development work are:

   * "Compilers: Principles, Techniques, & Tools" by Aho et al. (i.e., "the dragon book")

   * "Data Flow Analysis: Theory and Practice" by Khedker et al.

   * "Understanding MySQL Internals" by Sasha Pachev.

   * "Transaction Processing: Concepts and Techniques" by Gray and Reuter.

   * "Fundamentals of Wireless Communication" by Tse and Viswanath.

   * "Genetic Programming: An Intrduction" by Banzhaf et al.

   * "Applied Crytography" by Schneier.

   EDIT: A few additional comments:

   (1) Although these books are problem-domain specific, some of them had benefits outside of their problem domains:

   * The Dataflow book has some great coverage of fixpoint algorithms. It's really helpful to recognize when some problems are best solved by fixpoint analysis.

   * The "dragon book" takes a lot of the mystery out of compilers. That's somewhat helpful when writing code that needs to be fast. It's super helpful if you want to work with compiler-related technologies such as LLVM.

   * Understanding the fundamental challenges of transaction processing helps you avoid massive misadventures when dealing with databases or concurrent / multithreaded systems.

   (2) YMMV, but I've found it hard to soldier through these books unless I had a need to for my job or for school.

   Show morethread
4. W0lfJun 2017
   I've gathered all the book titles in this thread and created Amazon affiliate links (if you don't mind. Otherwise you still have all the titles together :-) )

   A Pattern Language, Alexander and Ishikawa and Silverstein http://amzn.to/2s9aSSc

   Advanced Programming in the Unix Environment , Stevens http://amzn.to/2qPOMjN

   Algorithmics: the Spirit of Computing, Harel http://amzn.to/2rW5FNS

   Applied Crytography, Wiley http://amzn.to/2rsULxS

   Clean Code, Martin http://amzn.to/2sIOWtQ

   Clean Coder, Martin http://amzn.to/2rWgbEP

   Code Complete, McConnel http://amzn.to/2qSUIwE

   Code: The Hidden Language of Computer Hardware and Software, Petzold http://amzn.to/2rWfR9d

   Coders at Work, Seibel http://amzn.to/2qPCasZ

   Compilers: Principles, Techniques, & Tools, Aho http://amzn.to/2rCSUVA

   Computer Systems: A Programmer's Perspective, O'Hallaron and Bryant http://amzn.to/2qPY5jH

   Data Flow Analysis: Theory and Practice, Khedker http://amzn.to/2qTnSvr

   Dependency Injection in .NET, Seemann http://amzn.to/2rCz0tV

   Domain Driven Design, Evans http://amzn.to/2sIGM4N

   Fundamentals of Wireless Communication, Tse and Viswanath http://amzn.to/2rCTmTM

   Genetic Programming: An Intrduction, Banzhaf http://amzn.to/2s9sdut

   Head First Design Patterns, O'Reilly http://amzn.to/2rCISUB

   Implementing Domain-Driven Design, Vernon http://amzn.to/2qQ2G5u

   Intrduction to Algorithms, CLRS http://amzn.to/2qXmSBU

   Introduction to General Systems Thinking, Weinberg http://amzn.to/2qTuGJw

   Joy of Clojure, Fogus and Houser http://amzn.to/2qPL4qr

   Let over Lambda, Hoyte http://amzn.to/2rWljcp

   Operating Systems: Design and Implementation, Tanenbaum http://amzn.to/2rKudsw

   Parsing Techniques, Grune and Jacobs http://amzn.to/2rKNXfn

   Peopleware: Productive Projects and Teams, DeMarco and Lister http://amzn.to/2qTu86F

   Programming Pearls, Bentley http://amzn.to/2sIRPe9

   Software Process Design: Out of the Tar Pit, McGraw-Hill http://amzn.to/2rVX0v0

   Software Runaways, Glass http://amzn.to/2qT2mHn

   Sorting and Searching, Knuth http://amzn.to/2qQ4NWQ

   Structure and Interpretation of Computer Programs, Abelson and Sussman http://amzn.to/2qTflsk

   The Art of Unit Testing, Manning http://amzn.to/2rsERDu

   The Art of Unix Programming, ESR http://amzn.to/2sIAXUZ

   The Design of Design: Essays from a Computer Scientist, Brooks http://amzn.to/2rsPjev

   The Effective Engineer, Lau http://amzn.to/2s9fY0X

   The Elements of Style, Strunk and White http://amzn.to/2svB3Qz

   The Healthy Programmer, Kutner http://amzn.to/2qQ2MtQ

   The Linux Programming Interface, Kerrisk http://amzn.to/2rsF8Xi

   The Mythical Man-Month, Brooks http://amzn.to/2rt0dAR

   The Practice of Programming, Kernighan and Pike http://amzn.to/2qTje0C

   The Pragmatic Programmer, Hunt and Thomas http://amzn.to/2s9dlvS

   The Psychology of Computer Programming, Weinberg http://amzn.to/2rsPypy

   Transaction Processing: Concepts and Techniques, Gray and Reuter http://amzn.to/

   Types and Programming Languages, Pierce http://amzn.to/2qT2d6G

   Understanding MySQL Internals, Pachev http://amzn.to/2svXuFo

   Working Effectively with Legacy Code, Feathers http://amzn.to/2sIr09R

   Zen of graphics programming, Abrash http://amzn.to/2rKIW6Q

   Show morethread