Sciweavers

10935 search results - page 37 / 2187
» Neural Programming Language
Sort
View
PLDI
2006
ACM
16 years 10 days ago
Combining abstract interpreters
Sumit Gulwani, Ashish Tiwari
129
Voted
PLDI
2006
ACM
16 years 10 days ago
Refinement-based context-sensitive points-to analysis for Java
Manu Sridharan, Rastislav Bodík