1581 search results - page 4 / 317 » Mechanizing Inductive Reasoning |
234
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
CSL
1999
Springer
15 years 7 months ago
1999
Springer
192
Voted
LLL
1999
Springer
15 years 7 months ago
1999
Springer
92
Voted
ILP
1997
Springer
15 years 6 months ago
1997
Springer
77
Voted
ELP
1989
15 years 6 months ago
1989
