Back to Results
First PageMeta Content
Logic in computer science / Programming language implementation / Compiler optimizations / Theoretical computer science / Programming language semantics / Compiler / Semantics / Denotational semantics / Abstract interpretation / Static program analysis / Programming language / Control flow analysis


Partial Evaluation for Program Analysis Daniel Damian Progress Report (revised version)
Add to Reading List

Document Date: 2010-10-22 08:05:29

Open Document

File Size: 324,41 KB

Share Result on Facebook