Back to Results
First PageMeta Content
Symbol / Abstract interpretation / Constructible universe / NC / Algorithm


A Method for Symbolic Computation of Abstract Operations? Aditya Thakur1 and Thomas Reps1,2 1 University of Wisconsin; Madison, WI, USA
Add to Reading List

Document Date: 2012-04-21 09:42:59


Open Document

File Size: 527,27 KB

Share Result on Facebook