×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [abstract interpreters]
Lifting Abstract Interpreters to Quantified Logical Domains Sumit Gulwani, MSR Bill McCloskey, UCB Ashish Tiwari, SRI 1
217 views
TVLA: A System for Generating Abstract Interpreters
19 views
T. Lev-Ami, R. Manevich, M. Sagiv tvla TVLA: A System for Generating Abstract Interpreters A. Loginov, G. Ramalingam, E. Yahav
213 views