Live-variable analysis: Difference between revisions

Revision as of 10:24, 23 September 2014

Revision as of 23:21, 1 January 2015

Line 108:

<!-- 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 | title=Using Datalog with Binary Decision Diagrams for Program Analysis | year=2004 | display-authors=1 | url=http://people.csail.mit.edu/mcarbin/papers/aplas05.pdf}}</ref>

==References==