« linear time invariant systems | Main | History of Ultimate »
November 20, 2004
on the fly optimization
[ Code On The Fly : Academic Research ] Is similar to some ideas I want to pursue in static analysis for dead variable elimination in model checking.
Posted by jones at November 20, 2004 10:39 PM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)