[<<][meta][>>][..]
Mon Jan 24 15:10:03 EST 2011

Abstract vector

Now, instead of using compile time information, it might also be
useful to use abstract interpretation on abstract vectors.

A model can then be instantiated at compile time to be analyzed.




[Reply][About]
[<<][meta][>>][..]