Live-variable analysis: Difference between revisions

Revision as of 21:32, 1 May 2011

Revision as of 03:59, 30 September 2011

Line 109:

<!-- Is this paragraph relevant? -->

Recently {{As of|2006|lc=on}}, various program analyses such as live variable analysis have been solved using [[Datalog]]. The Datalog specifications for such analyses are generally an order of magnitude shorter than their imperative counterparts (e.g. [[iterative analysis]]), and are at least as efficient.<ref>{{cite book | author=Whaley et al. | title=Using Datalog with Binary Decision Diagrams for Program Analysis | year=2004 | display-authors=1}}</ref>

==References==