3691 search results - page 49 / 739 » Bayesian Logic Programs |
195
Voted
POPL
1999
ACM
15 years 5 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
79
Voted
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
92
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
78
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
66
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer