Revision as of 17:29, 11 September 2023 edit Lightbloom (talk \| contribs) 357 edits MOS:RELTIME ← Previous edit		Revision as of 21:38, 7 March 2024 edit undo Jarble (talk \| contribs) Autopatrolled, Extended confirmed users 150,084 edits adding Template:Program analysis Next edit →
Line 82: * {{cite book \|author1=Flemming Nielson \|author2=Hanne R. Nielson \|author3=Chris Hankin \|edition = 1999 (corrected 2004) \|title = Principles of Program Analysis \|publisher= Springer \|isbn = 978-3-540-65410-0\|date=2004-12-10 }} * [http://santos.cis.ksu.edu/schmidt/Escuela03/home.html "Abstract interpretation and static analysis,"] International Winter School on Semantics and Applications 2003, by [http://people.cis.ksu.edu/~schmidt/ David A. Schmidt] {{Program analysis}} [[Category:Static program analysis\| ]]

Static program analysis: Difference between revisions