Content deleted Content added
No edit summary |
Citation bot (talk | contribs) m [405]Add: display-authors. Tweak: author. User-activated. |
||
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
==References==
|