Content deleted Content added
m I feel in state and out state are interchanged in the table. Can you check it once |
No edit summary |
||
Line 117:
<!-- 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==
| |||