5 Oct
2012
5 Oct
'12
21:11
Cool, merci Erick! J'allais en fait justement demander à Bruno s'il avait pas des articles qui offrirait une petite intro à l'analyse statique. Vincent. On Fri, Oct 5, 2012 at 1:08 PM, Erick Lavoie <erick.lavoie@gmail.com> wrote:
This article illustrates some basic principles behind static analysis, and then builds an analyzer for a register-based machine language in Racket.
It does so without invoking the usual jargon associated with static analysis: *lattices*, *monotonicity* or *fixed points*.
http://matt.might.net/articles/intro-static-analysis/
Erick
_______________________________________________ Dlteam-list mailing list Dlteam-list@iro.umontreal.ca https://webmail.iro.umontreal.ca/mailman/listinfo/dlteam-list