Sciweavers

Share
34 search results - page 1 / 7
» popl 2008
Sort
View
POPL
2008
ACM
9 years 10 months ago
Separation logic, abstraction and inheritance
Matthew J. Parkinson, Gavin M. Bierman
POPL
2008
ACM
9 years 10 months ago
Lifting abstract interpreters to quantified logical domains
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
books