Principles of Program Analysis
Flemming Nielson, Hanne Riis Nielson, Chris Hankin ·Book ·1999
Formal foundations of program analysis including data-flow and abstract interpretation.
#program-analysis#languages
Leonardo Benicio
Leonardo BenicioFormal foundations of program analysis including data-flow and abstract interpretation.