Date: 2013-03-05 23:54:33Logic 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 REPSAdd to Reading ListSource URL: research.cs.wisc.eduDownload Document from Source Website File Size: 865,84 KBShare Document on Facebook
|