×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [arbitrary alien expressions]
Home >
arbitrary alien expressions
Abstract Interpretation with Alien Expressions and Heap Structures Bor-Yuh Evan ChangK. Rustan M. Leino University of California, BerkeleyMicrosoft Research.
218 views