Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Programming language implementation / Compiler construction / Formal methods / Abstract interpretation / Semantics / Static program analysis / Syntax / GrammaTech / Denotational semantics / Compiler


TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS
Add to Reading List

Document Date: 2013-03-05 23:54:33

Open Document

File Size: 865,84 KB

Share Result on Facebook