922 search results - page 10 / 185 » A generalization of the Lin-Zhao theorem |
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
STACS
2009
Springer
14 years 2 months ago
2009
Springer
MFCS
2005
Springer
14 years 1 months ago
2005
Springer
COLT
2001
Springer
14 years 5 days ago
2001
Springer
COMPGEOM
1993
ACM
13 years 11 months ago
1993
ACM